Logical Full Abstraction and PCF (1996)

by John Longley , Gordon Plotkin
Venue:Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI
Citations:13 - 5 self

Document Versions

Logical Full Abstraction and PCF –John Longley, Gordon Plotkin — 1996 — Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI
Logical full abstraction and PCF –John Longley, Gordon Plotkin — 1997 — Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI