Normalisation in lambda calculus and its relation to type inference / Paula Gabriela Severi
Proefschrift Technische Universiteit Eindhoven
Normalisation in lambda calculus and its relation to type inference