1. Home
  2. Science
  3. Mathematics
  4. Computational Isomorphisms in Classical Logic

Science · Mathematics

Computational Isomorphisms in Classical Logic

Listed in the directory · updated 23 Jul 2022

Find them on

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.

Tags

Where it sits

More in Mathematics

See all →