Phine Numbers
| Autor: | Hurkens, A.J.C., Barendsen, Erik, Geuvers, Herman, Capretta, Venanzio, Niqui, Milad |
|---|---|
| Přispěvatelé: | Barendsen, Erik, Geuvers, Herman, Capretta, Venanzio, Niqui, Milad |
| Rok vydání: | 2007 |
| Předmět: | |
| Zdroj: | Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, pp. 161-171 Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, 161-171. Radboud University Nijmegen : Radboud University Nijmegen STARTPAGE=161;ENDPAGE=171;TITLE=Barendsen, Erik; Geuvers, Herman; Capretta, Venanzio (ed.), Reflections on Type Theory, Lambda Calculus, and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday |
| Popis: | Contains fulltext : 36311.pdf (Publisher’s version ) (Open Access) |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|