TY  - RPRT
TI  - An intensionally fully-abstract sheaf model for $π$ (expanded version)
AU  - Clovis Eberhart
AU  - Tom Hirschowitz
AU  - Thomas Seiller
PY  - 2017
DO  - 10.23638/lmcs-13(4:9)2017
UR  - https://arxiv.org/abs/1710.06744
ID  - 1710.06744
ER  -