DMCA

Categorical Proof Theory of Co-Intuitionistic Linear Logic

by Gianluigi Bellin
Citations:4 - 2 self