Residual theory in -calculus: A formal development (1993)

by G Huet
Venue:INRIA, Rocquencourt - France, Août