A higher-order simulation relation for System F (2000)

Cached

Download Links

by Jo Erskine Hannay
Venue:Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures. ETAPS 2000
Citations:2 - 2 self