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
Citations:15 - 2 self

Document Versions

Lax Logical Relations –Gordon Plotkin, John Power, Donald Sannella, Robert Tennent — 2000 — In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS
Lax Logical Relations –Gordon Plotkin, John Power, Donald Sannella, Robert Tennent — 2000 — In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS
Lax logical relations –Gordon Plotkin, John Power, Donald Sannella, Robert Tennent — 2000 — In 27th Intl. Colloq. on Automata, Languages and Programming, volume 1853 of LNCS