BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
curri (10)
correspond (3)
theori (3)
strong (2)
control (2)

Stem howard$ (all stems)

10 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.