 |
|  |
||||||||||
 |
||||||||||||
  |
||||||||||||
|
A Notion of Classical Pure Type System (1997)
Article by Gilles Barthes.
Computational Isomorphisms in Classical Logic
Article by V. Danos, J. B. Joinet and H. Schellinx examining the categorical semantics of classical logic from a persepctive inspired by linear logic.
Extracting Constructive Content from Classical Logic via Control-like Reductions
Article by F. Barbanera and S. Berardi showing how computational content may be extracted from proofs in Peano Arithmetic by a variant of a method proposed by William Tait.
|
|
||
 |
|||