Statistics
Publications
11
Citations
692
H-Index
10
Active since
1973
Jean-Louis Krivine is an author at Université Paris Cité specializing in computer science, mathematics, and model theory.
Publications per year
1973–2016
11
11
A call-by-name lambda-calculus machine
Jean-Louis Krivine · LISP and Symbolic Computation · 2007 · 172 citations · Full text
Dependent choice, ‘quote’ and the clock
Jean-Louis Krivine · Theoretical Computer Science · 2003 · 94 citations · Full text
Realizability in classical logic
Jean-Louis Krivine · 2007 · 78 citations · Full text
1–5 of 11