Lax Logical Relations (2000)
Cached
Download Links
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
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 |
