Lax Logical Relations (2000)

by Gordon Plotkin, John Power, Donald Sannella, Robert Tennent
Venue:In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS