On the use of bound variables in Automath

N.G. de Bruijn

Onderzoeksoutput: Boek/rapportRapportPopulair

37 Downloads (Pure)
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Hogeschool Eindhoven
Aantal pagina's2
StatusGepubliceerd - 1970

Bibliografische nota

Notitie 1970/9

Citeer dit