## Mechanizing Logical Relations (1994)

by
Allen Stoughton

Venue: | Proc. Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 802, Springer-Verlag |

Citations: | 8 - 0 self |