Call-by-value λ-calculus and LJQ (2007)

Cached

Download Links

by Roy Dyckhoff , Stéphane Lengrand
Venue:LEN06] S. LENGRAND. NORMALISATION & EQUIVALENCE IN PROOF THEORY & TYPE THEORY
Citations:6 - 1 self