--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Volker foaf_name: Peckhaus, Volker foaf_surname: Peckhaus foaf_workInfoHomepage: http://www.librecat.org/personId=391 dct_date: 1998^xs_gYear dct_language: ger dct_title: 'Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14@' ...