Mechanizing Logical Relations (1994)

Cached

Download Links

by Allen Stoughton
Venue:Proc. Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 802, Springer-Verlag
Citations:8 - 0 self