Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 06:20:48 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||