Lax logical relations (2000)

by Gordon D Plotkin, John Power, Donald Sannella, Robert D Tennent
Venue:In 27th International Colloquium on Automata, Languages and Programming (ICALP ’00