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

by J Hannay
Venue:Proc. 3rd Intl. Conf. on Foundations of Software Science and Computation Structures. ETAPS 2000