Laboratory Preuves, Programmes et Systèmes
Parent institutions Institut des Sciences de l'Information et de leurs Interactions, Institut national de recherche en informatique et en automatique, Université Paris Cité
ROR: Yes
Works count: 931
Citations count: 7,278
Disjunctive Tautologies as Synchronisation Schemes
2000 · Vincent Danos, Jean-Louis Krivine · Lecture notes in computer science
Homotopy Type Theory: Univalent Foundations of Mathematics
2013 · Peter Aczel, Benedikt Ahrens, et al. · arXiv (Cornell University)
Lambda-calculus, types and models
1993 · Jean-Louis Krivine · Ellis Horwood eBooks