Residual theory in © -calculus: a formal development (1994)

by G Huet
Venue:Journal of Functional Programming