Skip to content

Operational Pointer Semantics: Solution to Self-Referential Puzzles I.

Haim Gaifman

VenueBTARK
Year1988
ProceedingsTARK

Browse the full TARK paper archive.