product iamge

Dirk van Dalen Festschrift

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

It is with great pleasure that on the occasion of the 60-th anniversary of our teacher Dirk van Dalen we can present him — in the name of all authors — this Festschrift. The articles are written by his former Ph.D. students or close colleagues with whom he has collaborated. In this way we express our appreciation of what he has done for our discipline.

Author(s): Henk Barendregt, Marc Bezem, Jan Willem Klop (editors)
Series: Quaestiones Infinitae, Volume 5
Publisher: Utrecht University
Year: 1993

Language: English
Commentary: Scanned, DjVu'ed, OCR'ed by Envoy
Pages: 240
City: Utrecht

Preface ......Page 8
Enumerators of lambda terms are reducing constructively (Henk Barendregt) ......Page 10
The datatype variety of stack algebras Jan Bergstra and John Tucker ......Page 18
Bar recursive encodings of ordinals (Marc Bezem and Wilfried Buchholz) ......Page 50
Comparing curried and uncurried rewriting (Richard Kennaway, Jan Willem Klop, Ronan Sleep and Fer-Jan de Vries) ......Page 66
On proofs by analogy (Jan van Leeuwen) ......Page 88
A model for intuitionistic non-standard arithmetic (Ieke Moerdijk) ......Page 98
A categorical setting for the 4-colour theorem (Dusko Pavlovic) ......Page 108
Beyond BHK (Adrian Rezus) ......Page 123
Basic logic and Fregean set theory (Wim Ruitenburg) ......Page 130
Simply typed lambda calculus with surjective pairing (Rick Statman) ......Page 152
Strong normalization in type systems: a model theoretic approach (Jan Terlouw) ......Page 170
Notes on bimodal provability logic (Albert Visser) ......Page 200