Artigo Acesso aberto Revisto por pares

Plotkin's call-by-value λ-calculus as a modal calculus

Autor(es)

Ficheiros

main.pdf (542.19 KB)

Versão

AM

Embargo

Tipo de Documento

Artigo

Idioma

Métricas Alternativas

Coleções

CMAT - Artigos em revistas com arbitragem | Papers in peer review journals
A carregar...
Ver registo completo
UM