A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.

Arnon Avron, Anna Zamansky

Browse the full CSR paper archive.