Normalisation in Lambda Calculus and its relation to Type Inference (1996)

by Paula Gabriela Severi , Dr. J. H. Geuvers
Citations:15 - 1 self

Document Versions

Normalisation in Lambda Calculus and its relation to Type Inference –Paula Gabriela Severi, Dr. J. H. Geuvers — 1996
Normalisation in Lambda Calculus and its relation to Type Inference –Paula Severi — 1996