Formalizing "Classical lambda calculus in modern dress"
Master Project
of Arnoud van der Leer
Project description
t.b.a.
Formalizing "Classical lambda calculus in modern dress"
Student: Arnoud van der Leer
Supervisor(s): Benedikt Ahrens, Kobe Wullaert