Percorrer por assunto Computational lambda-calculus
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
12-Jun-2015 | Curry-Howard for sequent calculus at last! | Espírito Santo, José | Artigo em ata de conferência | Acesso aberto |