Relational semantics for higher-order programs (0)

by K Aboul-Hosn, D Kozen
Venue:Proc. 8th Int. Conf. Mathematics of program construction (MPC’06). LNCS 4014, Springer-Verlag, 2006, 29–48. J.-B. JEANNIN, D. KOZEN