Jan Rochel
Ph.D. Universiteit Utrecht 2016
Dissertation:
Unfolding semantics of the untyped Lambda-calculus with letrec
Advisor 1: Vincent van Oostrom
Advisor 2: S. Doaitse (Sjoerd) Swierstra
Advisor 3: Clemens Grabmayer
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 205835 for the advisor ID.