Artigo
Revisado por pares
An upper bound for reduction sequences in the typed λ-calculus
1991; Springer Science+Business Media; Volume: 30; Issue: 5-6 Linguagem: Inglês
10.1007/bf01621476
ISSN1432-0665
Autores Tópico(s)Advanced Algebra and Logic
Referência(s)