1. Home
  2. Science
  3. Mathematics
  4. Computational Content of Classical Logic (1996)

Science · Mathematics

Computational Content of Classical Logic (1996)

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About Computational Content of Classical Logic (1996)

Computational Content of Classical Logic (1996)- Lecture notes from a research seminar series by Thierry Coquand covering double-negation translations, game semantics of classical logic and point-free topology.

Tags

Australia

Where it sits

Science Mathematics

More in Mathematics

See all →