An Intensionally Fully-abstract Sheaf Model for pi.

Clovis Eberhart, Tom Hirschowitz, Thomas Seiller

Browse the full CALCO paper archive.