BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × USA
Collaborated with:
Talks about:
synchronis (1) correspond (1) hypothesi (1) continuum (1) tautolog (1) disjunct (1) classic (1) theori (1) scheme (1) recurs (1)

Person: Jean-Louis Krivine

DBLP DBLP: Krivine:Jean=Louis

Contributed to:

CSL 20002000
LICS 20002000
CSL 20162016

Wrote 3 papers:

Disjunctive Tautologies as Synchronisation Schemes (VD, JLK), pp. 292–301.
LICS-2000-Krivine #set
The Curry-Howard Correspondence in Set Theory (JLK), pp. 307–308.
CSL-2016-Krivine #recursion
Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis (JLK), p. 11.

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.