Artigo Acesso aberto Revisto por pares

The lambda-calculus and the unity of structural proof theory

Autor(es)

Ficheiros

LambdaUnity(update2).pdf (298.24 KB)

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