Artigo em ata de conferência Acesso aberto Revisto por pares

The call-by-value Lambda-Calculus with generalized applications

Autor(es)

Ficheiros

main.pdf (500.8 KB)

Versão

VoR

Embargo

Tipo de Documento

Artigo em ata de conferência

Idioma

Métricas Alternativas

Coleções

CMAT - Artigos em atas de conferências e capítulos de livros com arbitragem | Papers in proceedings of conferences and book chapters with peer review
A carregar...
Ver registo completo
UM