The lambda-calculus is nominal algebraic

M.J. Gabbay, A.H.J. Mathijssen

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Samenvatting

NO ABSTRACT
Originele taal-2Engels
TitelReasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday
RedacteurenC. Benzmüller, C.E. Brown, J. Siekmann, R. Statman
Plaats van productieLondon
UitgeverijCollege Publications
Pagina's271-302
ISBN van geprinte versie978-1-904987-70-3
StatusGepubliceerd - 2008

Publicatie series

NaamStudies in Logic
Volume17

Citeer dit

Gabbay, M. J., & Mathijssen, A. H. J. (2008). The lambda-calculus is nominal algebraic. In C. Benzmüller, C. E. Brown, J. Siekmann, & R. Statman (editors), Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday (blz. 271-302). (Studies in Logic; Vol. 17). College Publications.