Dirk van Dalen Festschrift
Book information
Description
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.
Similar books
Dirk van Dalen Festschrift
1993 · PDF
Lambda Calculus with Types (Perspectives in Logic)
2013 · PDF
Lambda Calculus with Types
2013 · PDF
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings
1993 · PDF
Lambda Calculus with Types
2013 · PDF
Types for Proofs and Programs: International Workshop TYPES'93 Nijmegen, The Netherlands, May 24–28, 1993 Selected Papers
1994 · DJVU
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings
1993 · DJVU
ESOP '90: 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
1990 · DJVU