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

Cached

Download Links

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