Dissertation: The Unfolding Semantics of the λ-Calculus with `letrec`

My doctoral research at the Department of Information and Computing Sciences at the University of Utrecht has after a number of scientific papers resulted in a Ph.D. thesis available here.

Dissertation: pdf (also available on arXiv.org)
Appendix B: pdf (this appendix is in a separate file due to it's non-standard page sizes)

Imprint

Jan Rochel <jan@rochel.info>