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
ISSN1573-7470
Autores Tópico(s)Logic, programming, and type systems
Referência(s)1993; Springer Science+Business Media; Volume: 8; Issue: 1-2 Linguagem: Inglês
10.1007/bf02451546
ISSN1573-7470
Autores Tópico(s)Logic, programming, and type systems
Referência(s)