All Stories

  1. Realizability algebras III: some examples

    Article • Mathematical Structures in Computer Science, May 2016, Cambridge University Press

    Pr Jean-Louis Krivine

  2. Realizability algebras II : new models of ZF + DC

    Article • Logical Methods in Computer Science, February 2012, Logical Methods in Computer Science

    Pr Jean-Louis Krivine

  3. Realizability algebras: a program to well order R

    Article • Logical Methods in Computer Science, August 2011, Logical Methods in Computer Science

    Pr Jean-Louis Krivine

  4. A call-by-name lambda-calculus machine

    Article • Higher-Order and Symbolic Computation, October 2007, Springer Science + Business Media

    Pr Jean-Louis Krivine

  5. Dependent choice, ‘quote’ and the clock

    Article • Theoretical Computer Science, November 2003, Elsevier

    Pr Jean-Louis Krivine

  6. Typed lambda-calculus in classical Zermelo-Frænkel set theory

    Article • Archive for Mathematical Logic, April 2001, Springer Science + Business Media

    Pr Jean-Louis Krivine

  7. About classical logic and imperative programming

    Article • Annals of Mathematics and Artificial Intelligence, December 1996, Springer Science + Business Media

    Pr Jean-Louis Krivine

  8. Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

    Article • Bulletin of Symbolic Logic, December 1996, Cambridge University Press

    Pr Jean-Louis Krivine

  9. A general storage theorem for integers in call-by-name λ-calculus

    Article • Theoretical Computer Science, June 1994, Elsevier

    Pr Jean-Louis Krivine

  10. Classical logic, storage operators and second-order lambda-calculus

    Article • Annals of Pure and Applied Logic, June 1994, Elsevier

    Pr Jean-Louis Krivine

  11. Opérateurs de mise en mémoire et traduction de Gödel

    Article • Archive for Mathematical Logic, July 1990, Springer Science + Business Media

    Pr Jean-Louis Krivine

  12. Forcing and generalized quantifiers

    Article • Annals of Mathematical Logic, May 1973, Elsevier

    Pr Jean-Louis Krivine

  13. Introduction to Axiomatic Set Theory

    Article • January 1971, Springer Science + Business Media

    Pr Jean-Louis Krivine

  14. Théorèmes de consistance en théorie de la mesure de R. Solovay

    Article • Springer Science + Business Media

    Pr Jean-Louis Krivine