Relational Semantics for Higher-Order Programs (0)

by K Aboul-Hosn, D Kozen
Venue:Proc. 8th Int. Conf. Mathematics of Program Construction (MPC’06). Lecture Notes in Computer Science 4014