- 2
Thomas Seiller
2
Documents
Publications
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
|
An intensionally fully-abstract sheaf model for pi (expanded version)Logical Methods in Computer Science, 2017, 13 (4), pp.9. ⟨10.23638/LMCS-13(4:9)2017⟩
Article dans une revue
hal-01609945v2
|
|
An Intensionally Fully-abstract Sheaf Model for pi6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), 2015, Nimègue, Netherlands. pp.86--100, ⟨10.4230/LIPIcs.CALCO.2015.86⟩
Communication dans un congrès
hal-00873626v2
|