On seminormal expressions in lambda typed lambda calculus

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

28 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's23
StatusGepubliceerd - 1984

Citeer dit