Proving Strong Normalization of CC by Modifying Realizability Semantics (1994)

Cached

Download Links

by Thorsten Altenkirch
Venue:IN TYPES, VOLUME 806 OF LNCS
Citations:11 - 0 self