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

by Paula Gabriela Severi
Citations:15 - 1 self