Auteursnaam op omslag: Jean-Pierre van Draanen
Proefschrift Katholieke Universiteit Nijmegen
Models for simply typed lambda-calculi with fixed point combinators and enumerators
Models for simply typed lambda-calculi with fixed point combinators and enumerators / Johannes Petrus Cornelius Maria van Draanen