Jean-Pierre van Draanen
Ph.D. Katholieke Universiteit Nijmegen 1995
Dissertation:
Models for Simply Typed Lambda-calculi with Fixed Point Combinators and Enumerators
Advisor 1: Hendrik Pieter Barendregt
Advisor 2: Marcus Aloysius Bezem
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 296054 for the advisor ID.