Similar Items: An intensionally fully-abstract sheaf model for $pi$ (expanded version)
- Full abstraction for fair testing in CCS (expanded version)
- Idempotents in intensional type theory
- Fully Abstract Encodings of $lambda$-Calculus in HOcore through Abstract Machines
- A Fully Abstract Model of PCF Based on Extended Addressing Machines
- Modular, Fully-abstract Compilation by Approximate Back-translation
- Inductive Definition and Domain Theoretic Properties of Fully Abstract