EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Niqui, M.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2007

Hartel, P.H. and Vree, W.G. (2007) Lambda Calculus for Engineers. In: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Radboud University, Nijmegen, pp. 125-138. ISBN 978-90-9022446-6
Kuper, J. (2007) Binary Relations as a Foundation of Mathematics. In: Reflections on Type Theory, Lambda Calculus, and the Mind: Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday. Radboud University, Nijmegen, pp. 223-232. ISBN 978-90-9022446-6

This list was generated on Mon Mar 27 05:52:20 CEST 2017.