Jean-Pierre van Draanen

Ph.D. Katholieke Universiteit Nijmegen 1995 Netherlands
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.