@article{b92c3b2633624879a0805a3638c85a3a,
title = "An intensionally fully-abstract sheaf model for π (expanded version)",
keywords = "Programming languages, categorical semantics;presheaf semantics, game semantics, concurrency, process algebra",
author = "Clovis Eberhart and Tom Hirschowitz and Thomas Seiller",
year = "2017",
doi = "10.23638/LMCS-13(4:9)2017",
language = "English",
volume = "13",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "International Federation for Computational Logic",
number = "4",
}