Full Abstraction by Translation (1996)
by
Guy Mccusker
| Venue: | Proc., 3rd Workshop in Theory and Formal Methods |
| Citations: | 4 - 0 self |
Document Versions
| Full Abstraction by Translation –Guy Mccusker — 1996 — Proc., 3rd Workshop in Theory and Formal Methods |
