Weak Normalization Implies Strong Normalization in Generalized Non-Dependent Pure Type Systems (1997)

Cached

Download Links

by Gilles Barthe , John Hatcliff , Morten Heine Sørensen
Venue:Comput. Sci
Citations:4 - 3 self