Formal verification of optimal graph reduction algorithm of lambda calculus
Master Project
of Bonifacius Geraldo Christiano
Project description
t.b.a.
Formal verification of optimal graph reduction algorithm of lambda calculus
Student: Bonifacius Geraldo Christiano
Supervisor(s): Jesper Cockx