Login / Signup

An Intensionally Fully-abstract Sheaf Model for pi.

Clovis EberhartTom HirschowitzThomas Seiller
Published in: CALCO (2015)
Keyphrases