A namefree lambda calculus with formulas involving symbols that represent reference transforming mappings

N.G. Bruijn, de

Onderzoeksoutput: Boek/rapportRapportPopulair

40 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's10
StatusGepubliceerd - 1977

Publicatie series

NaamEindhoven University of Technology : Dept of Mathematics : memorandum
Volume7710

Citeer dit