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

by Paula Gabriela Severi
Citations:17 - 1 self