Characterising Explicit Substitutions which Preserve Termination (Extended Abstract) (1999)

Cached

Download Links

by Eike Ritter
Venue:In Typed Lambda Calculi and Applications
Citations:5 - 0 self