Details of Computational Isomorphisms in Classical Logic
About Computational Isomorphisms in Classical Logic
Computational Isomorphisms in Classical Logic- Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a perspective inspired by linear logic.
