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.
