The λρ-calculi : an abstract framework for closures (1988)

by P L Curien
Venue:LIENS - Ecole Normale Supérieure