A Higher-Order Simulation Relation for System F
- Authors
- J. E. Hannay
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 2000
- Journal
- Foundations of Software Science and Computation Structures, Proceedings of FOSSACS 2000, a part of ETAPS 2000 (European Joint Conferences on Theory and Practice of Software), Berlin, Germany, LNCS volume 1784
- Publisher
- Springer-Verlag
- Citation key
- 9451