Residual theory in λ-calculus: A formal development (1994)

by Gérard Huet , Inria Rocquencourt
Venue:Journal of Functional Programming
Citations:23 - 2 self