A Formalization of the Strong Normalization Proof for System F in LEGO (1993)

Cached

Download Links

by Thorsten Altenkirch
Citations:7 - 0 self