Jan Rochel

MathSciNet


Ph.D. Universiteit Utrecht 2016 Netherlands
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.