Arnoud van der Leer

Arnoud van der Leer

Mathematician, Computer Scientist. Interested and educated in formal methods and pure math (Algebraic Geometry, specialized towards Number Theory).

Semantics of the λ-calculus

Date:

Gave a talk about my master’s thesis at dutchCats.