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

by G P Huet
Venue:1994) B. Accattoli hal-00780337, version 1 - 23