A survey of the project Automath

N.G. Bruijn, de

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

142 Downloads (Pure)
Originele taal-2Engels
TitelTo H.B. Curry : Essays on combinatory logic, lambda calculus and formalism
RedacteurenJ.P. Seldin, J.R. Hindley
Plaats van productieNew York
UitgeverijAcademic Press Inc.
Pagina's579-606
ISBN van geprinte versie0-12-349050-2
StatusGepubliceerd - 1980

Citeer dit