A Complete V-Equational System for Graded lambda-Calculus Artigo de Conferência

Visão geral
Pesquisas
Identidade
Ver Todos

autores

Neves, Renato Jorge Araújo
Dahlqvist, Fredrik

data de publicação

janeiro 1, 2023