Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection (1995)

Cached

Download Links

by Roel Bloo , Kristoffer H. Rose
Venue:IN CSN-95: COMPUTER SCIENCE IN THE NETHERLANDS
Citations:65 - 7 self