Mechanizing logical relations

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/3-540-58027-1_18 ◽

1994 ◽

pp. 359-377 ◽

Author(s):

Allen Stoughton

Download Full-text