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

Cached

Download Links

by A.J. Kfoury , J. B. Wells
Venue:PROCEEDINGS OF LOGIC IN COMPUTER SCIENCE
Citations:9 - 2 self