Preservation of Strong Normalisation for Explicit Substitution (1995)

Cached

Download Links

by Roel Bloo
Citations:15 - 2 self