Krivine, Jean-Louis - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7

Advanced Search

Krivine, Jean-Louis - Laboratoire Preuves, Programmes et Syst�mes, Universit� Paris 7 - Denis Diderot

Realizability in classical logic Jean-Louis Krivine
Wigner, Curry et Howard La draisonnable efficacit des mathmatiques
Fonctions, programmes et demonstrations Journee "Les fonctions en mathematiques: sous le concept, Babel?"
Ensembles et preuves Jean-Louis Krivine
Realizability and forcing (Curry-Howard correspondence in set theory)
Dependent choice, `quote' and the clock Jean-Louis Krivine
A general storage theorem for integers in call-by-name -calculus
Valid formulas, games and network protocols Jean-Louis Krivine & Yves Legrandgerard
A machine for programs extracted with the axiom of choice
Une preuve formelle et intuitionniste du theor`eme de completude
Structures de ralisabilit, RAM et ultrafiltre sur N Jean-Louis Krivine
Jean-Louis Krivine LAMBDA-CALCULUS
Un interprteur du lambda-calcul Jean-Louis Krivine
Two talks about specification and objects Agay Spring School, March 29, 2002
Realizability algebras new models of ZF
A propos de la chauve-souris et autres contes Notes de lecture
Realizability algebras II : new models of ZF + DC
Realizability algebras : a program to well order R
Algbres de ralisabilit : un programme pour bien ordonner R
A call-by-name lambda-calculus machine Jean-Louis Krivine
Typed lambda-calculus in classical Zermelo-Frnkel Jean-Louis Krivine
New Combinators on the Block Vincent Danos & Jean-Louis Krivine.
Mathematique des programmes et programme des mathematiques
ADVANCES IN MATHEMATICS 31, 16-30 (1979) Constantes de Grothendieck et fonctions de type
for the Continuum Hypothesis Jean-Louis Krivine
Realizability : a machine for Analysis and set theory
The Curry-Howard correspondence in classical analysis and set theory
Realizing the axiom of dependent choice