10 papers:
TLCA-2015-EscardoX #consistency #nondeterminism- The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation (MHE, CX), pp. 153–164.
- TLCA-2015-Santo #calculus #exclamation
- Curry-Howard for Sequent Calculus at Last! (JES), pp. 165–179.
CSL-2013-AschieriBB #normalisation- Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1 (FA, SB, GB), pp. 45–60.
ICALP-v2-2012-Dowek #independence- A Theory Independent Curry-De Bruijn-Howard Correspondence (GD), pp. 13–15.
ICFP-2010-MazurakZ #concurrent #linear #logic #named- Lolliproc: to concurrency from classical linear logic via curry-howard and control (KM, SZ), pp. 39–50.
- CSL-2003-Miquel #normalisation #set
- A Strongly Normalising Curry-Howard Correspondence for IZF Set Theory (AM), pp. 441–454.
LICS-2000-Krivine #set- The Curry-Howard Correspondence in Set Theory (JLK), pp. 307–308.
FLOPS-1999-Ohori #automaton #logic #morphism- The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code (AO), pp. 300–318.
- TLCA-1999-Ohori #compilation #execution #morphism
- A Curry-Howard Isomorphism for Compilation and Program Execution (AO), pp. 280–294.
POPL-1997-OngS #functional- A Curry-Howard Foundation for Functional Computation with Control (CHLO, CAS), pp. 215–227.
