- Home
- Science
- Mathematics
- Computational Isomorphisms in Classical Logic
Science · Mathematics
Computational Isomorphisms in Classical Logic
Listed in the directory · updated 23 Jul 2022
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.