Jean-Louis Krivine
发表
Jean-Louis Krivine,
J. Krivine,
1991,
RAIRO Theor. Informatics Appl..
Jean-Louis Krivine,
J. Krivine,
2000,
Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
Jean-Louis Krivine,
J. Krivine,
1990,
Arch. Math. Log..
Jean-Louis Krivine,
J. Krivine,
2010,
Log. Methods Comput. Sci..
Jean-Louis Krivine,
2018,
Math. Struct. Comput. Sci..
Jean-Louis Krivine,
J. Krivine,
2003,
Theor. Comput. Sci..
Jean-Louis Krivine,
J. Krivine,
1996,
Annals of Mathematics and Artificial Intelligence.
Jean-Louis Krivine,
2020,
ArXiv.
Jean-Louis Krivine,
J. Krivine,
2001,
Arch. Math. Log..
Michel Parigot,
Jean-Louis Krivine,
J. Krivine,
1990,
J. Inf. Process. Cybern..
Jean-Louis Krivine,
J. Krivine,
1994,
Theor. Comput. Sci..
Jean-Louis Krivine,
J. Krivine,
1994,
Ann. Pure Appl. Log..
Jean-Louis Krivine,
2010,
ArXiv.
Jean-Louis Krivine,
1971
.
Jean-Louis Krivine,
J. Krivine,
2015,
ArXiv.
Vincent Danos,
Jean-Louis Krivine,
V. Danos,
1993,
Lecture Notes in Computer Science.
Jean-Louis Krivine,
J. Krivine,
2010,
Log. Methods Comput. Sci..
Jean-Louis Krivine,
2014,
TYPES.
Jean-Louis Krivine,
1996,
Bull. Symb. Log..
Jean-Louis Krivine,
J. Krivine,
2007,
High. Order Symb. Comput..
Jean-Louis Krivine,
J. Krivine,
2015,
CSL.
Jean-Louis Krivine,
2008,
ArXiv.
Jean-Louis Krivine,
Hugo Herbelin,
Pierre-Louis Curien,
2009
.
Jean-Louis Krivine,
Yves Legrandgérard,
2007,
ArXiv.
Vincent Danos,
Jean-Louis Krivine,
2000,
CSL.
Jean-Louis Krivine,
J. Krivine,
1993,
Ellis Horwood series in computers and their applications.