Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic.

Damien Pous

Browse the full CSL paper archive.