Normalisation in lambda calculus and its relation to type inference
By: Paula Severi
Contributors: Technische Universiteit Eindhoven
Published: 1996
Language: eng
Number of pages: 198
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1996.