Logical relations and lambda-theories (1997)

by Antonio Bucciarelli
Venue:In Advances in Theory and Formal Methods of Computing, proceedings of the 3rd Imperial College Workshop