New Notions of Reduction and Non-Semantic Proofs of β-Strong Normalization in Typed λ-Calculi (1994)

Cached

Download Links

by A.J. Kfoury , J. B. Wells
Venue:Proceedings of Logic in Computer Science
Citations:6 - 2 self