Skip to content

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.

Pietro Di Gianantonio

VenueBCSL
Year2004
ProceedingsCSL

Browse the full CSL paper archive.