Relational Semantics for Higher-Order Programs, in: T (2006)

by K Aboul-Hosn, D Kozen
Venue:Uustalu (Ed.), 8th International Conference on Mathematics of Program Construction (MPC’06), Vol. 4014 of LNCS