Artigo Revisado por pares

Why it might pay to assume that languages are infinite

1993; Springer Science+Business Media; Volume: 8; Issue: 1-2 Linguagem: Inglês

10.1007/bf02451546

ISSN

1573-7470

Autores

Walter J. Savitch,

Tópico(s)

Logic, programming, and type systems

Referência(s)