Travelled to:1 × Germany
1 × USA
Collaborated with:∅ V.Danos
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: Krivine:Jean=Louis
Contributed to:
2000
20002016Wrote 3 papers:
- CSL-2000-DanosK
- 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.