Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14
V. Peckhaus, zbMATH Open, Zbl. 0894.01007 (1998).
Download (ext.)
Book Review
| German
Author
Publishing Year
Journal Title
zbMATH Open, Zbl. 0894.01007
Article Number
Zbl. 894.01007
LibreCat-ID
Cite this
Peckhaus V. Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. zbMATH Open, Zbl 089401007. Published online 1998.
Peckhaus, V. (1998). Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. In zbMATH Open, Zbl. 0894.01007 (Zbl. 894.01007).
@article{Peckhaus_1998, title={Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14}, number={Zbl. 894.01007}, journal={zbMATH Open, Zbl. 0894.01007}, author={Peckhaus, Volker}, year={1998} }
Peckhaus, Volker. “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14.” zbMATH Open, Zbl. 0894.01007, 1998.
V. Peckhaus, “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14,” zbMATH Open, Zbl. 0894.01007. 1998.
Peckhaus, Volker. “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14.” zbMATH Open, Zbl. 0894.01007, Zbl. 894.01007, 1998.
All files available under the following license(s):
Copyright Statement:
This Item is protected by copyright and/or related rights. [...]
Link(s) to Main File(s)
Access Level
Closed Access
Google Scholar