Preservation of Termination for Explicit Substitution (1997)

Cached

Download Links

by Carolus Johannes Bloo
Citations:41 - 1 self