Accéder directement au contenu

Thomas Seiller

2
Documents

Publications

tomhirschowitz
Image document

An Intensionally Fully-abstract Sheaf Model for pi

Clovis Eberhart , Tom Hirschowitz , Thomas Seiller
6th 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