Abstract
Constructive Classical Logic
- Title
- Proofnets and Paths in Constructive Classical Logic: Too Old, Too New
- Creators
- Harry Mairson - Brandeis University, Michtom School of Computer Science
- Conference
- GEOCAL (Geometry of Calculation): Geometry of Interaction/Geometry of Computation 2006 (Geocal06) (Luminy (Marseille, France), 01/30/2006 - 03/03/2006)
- Identifiers
- 9924138723901921
- Academic Unit
- Benjamin and Mae Volen National Center for Complex Systems; Michtom School of Computer Science
- Language
- English
- Resource Type
- Conference paper