Nicolas Tabareau

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	A Reasonably Gradual Type Theory	2022	Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter
+ PDF Chat	A reasonably gradual type theory	2022	Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter
+	A Reasonably Gradual Type Theory – Artifact	2022	Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter
+	A Reasonably Gradual Type Theory – Artifact	2022	Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter
+ PDF Chat	Gradualizing the Calculus of Inductive Constructions	2022	Meven Lennon-Bertrand Kenji Maillard Nicolas Tabareau Éric Tanter
+ PDF Chat	The Marriage of Univalence and Parametricity	2021	Nicolas Tabareau Éric Tanter Matthieu Sozeau
+	The Multiverse: Logical Modularity for Proof Assistants	2021	Kenji Maillard Nicolas Margulies Matthieu Sozeau Nicolas Tabareau Éric Tanter
+ PDF Chat	Model structure on the universe of all types in interval type theory	2020	Simon Boulier Nicolas Tabareau
+	The Marriage of Univalence and Parametricity	2019	Nicolas Tabareau Éric Tanter Matthieu Sozeau
+ PDF Chat	Setoid Type Theory—A Syntactic Translation	2019	Thorsten Altenkirch Simon Boulier Ambrus Kaposi Nicolas Tabareau
+	The Marriage of Univalence and Parametricity	2019	Nicolas Tabareau Éric Tanter Matthieu Sozeau
+	Coq and Agda with proof irrelevance, plus examples	2018	Gaëtan Gilbert Jesper Cockx Matthieu Sozeau Nicolas Tabareau
+ PDF Chat	Preface: Special Issue on Homotopy Type Theory and Univalent Foundations	2018	Peter LeFanu Lumsdaine Nicolas Tabareau
+ PDF Chat	Model structure on the universe in a two level type theory	2017	Simon Boulier Nicolas Tabareau
+	Lawvere-Tierney sheafification in Homotopy Type Theory	2016	Kevin Quirin Nicolas Tabareau
+	The Definitional Side of the Forcing	2016	Guilhem Jaber Gabriel Lewertowski Pierre-Marie Pédrot Matthieu Sozeau Nicolas Tabareau
+ PDF Chat	Gradual certified programming in coq	2015	Éric Tanter Nicolas Tabareau
+ PDF Chat	Gradual certified programming in coq	2015	Éric Tanter Nicolas Tabareau
+ PDF Chat	Wild omega-Categories for the Homotopy Hypothesis in Type Theory	2015	André Hirschowitz Tom Hirschowitz Nicolas Tabareau
+	Contraction analysis of nonlinear random dynamical systems	2013	Nicolas Tabareau Jean-Jacques Slotine
+ PDF Chat	How Synchronization Protects from Noise	2010	Nicolas Tabareau Jean-Jacques Slotine Quang‐Cuong Pham
+ PDF Chat	A Contraction Theory Approach to Stochastic Incremental Stability	2009	Quang‐Cuong Pham Nicolas Tabareau J.-J.E. Slotine
+ PDF Chat	Free models of T-algebraic theories computed as Kan extensions	2008	Paul-André Melliès Nicolas Tabareau
+	How synchronization protects from noise	2008	Nicolas Tabareau Jean-Jacques Slotine Quang‐Cuong Pham
+ PDF Chat	Resource modalities in game semantics	2007	Paul-André Melliès Nicolas Tabareau
+ PDF Chat	Resource modalities in game semantics	2007	Paul-André Melliès Nicolas Tabareau
+ PDF Chat	Resource modalities in game semantics	2007	Paul-André Melliès Nicolas Tabareau
+	A Contraction Theory Approach to Stochastic Incremental Stability	2007	Quang‐Cuong Pham Nicolas Tabareau J.-J.E. Slotine
+ PDF Chat	Linear continuations and duality	2007	Paul-André Melliès Nicolas Tabareau
+ PDF Chat	De l'opérateur de trace dans les jeux de Conway	2006	Nicolas Tabareau
+ PDF Chat	De l'opérateur de trace dans les jeux de Conway	2006	Nicolas Tabareau
+	Notes on Contraction Theory	2006	Nicolas Tabareau Jean-Jacques Slotine
+	On timed automata with input-determined guards	2006	Deepak D’Souza Nicolas Tabareau
+	De l'oprateur de trace dans les jeux de Conway	2006	Nicolas Tabareau
+ PDF Chat	On Timed Automata with Input-Determined Guards	2004	Deepak D’Souza Nicolas Tabareau

Common Coauthors

Coauthor	Papers Together
Éric Tanter	11
Kenji Maillard	6
Matthieu Sozeau	6
Paul-André Melliès	5
Meven Lennon-Bertrand	5
Jean-Jacques Slotine	4
Quang‐Cuong Pham	4
Simon Boulier	3
Deepak D’Souza	2
J.-J.E. Slotine	2
Nicolas Margulies	1
Guilhem Jaber	1
Jesper Cockx	1
Tom Hirschowitz	1
Peter LeFanu Lumsdaine	1
Ambrus Kaposi	1
Thorsten Altenkirch	1
Kevin Quirin	1
Gaëtan Gilbert	1
Pierre-Marie Pédrot	1
André Hirschowitz	1
Gabriel Lewertowski	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Cubical Type Theory: a constructive interpretation of the univalence axiom	2015	Cyril Cohen Thierry Coquand Simon Huber Anders Mörtberg	4
+ PDF Chat	Stable concurrent synchronization in dynamic system networks	2006	Quang‐Cuong Pham Jean-Jacques Slotine	4
+ PDF Chat	An Algorithmic Introduction to Numerical Simulation of Stochastic Differential Equations	2001	Desmond J. Higham	3
+	Homotopy Type Theory: Univalent Foundations of Mathematics	2013	Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster	3
+	Premonoidal categories and notions of computation	1997	John Power E. Powell Robinson	3
+ PDF Chat	Transporting functions across ornaments	2014	PIERRE-ÉVARISTE DAGAND Conor McBride	2
+ PDF Chat	Graduality from embedding-projection pairs	2018	Max S. New Amal Ahmed	2
+	Traced monoidal categories	1996	André Joyal Ross Street Dominic Verity	2
+	Notes on Contraction Theory	2006	Nicolas Tabareau Jean-Jacques Slotine	2
+ PDF Chat	Type Targeted Testing	2015	Eric L. Seidel Niki Vazou Ranjit Jhala	2
+ PDF Chat	Univalence for inverse diagrams and homotopy canonicity	2014	Michael Shulman	2
+ PDF Chat	Robustness of the Noise-Induced Phase Synchronization in a General Class of Limit Cycle Oscillators	2004	Jun-nosuke Teramae Dan Tanaka	2
+	A model of type theory in cubical sets	2014	M Bezem Thierry Coquand Simon Huber	2
+ PDF Chat	Extensional equality in intensional type theory	2003	Thorsten Altenkirch	2
+	The identity type weak factorisation system	2008	Nicola Gambino Richard Garner	2
+	Real and Complex Analysis.	1987	G. A. Garreau Walter Rudin	2
+	Coherence for compact closed categories	1980	G. M. Kelly Miguel L. Laplaza	2
+	The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)	2014	Vladimir Voevodsky	2
+ PDF Chat	Constructing quotient inductive-inductive types	2019	Ambrus Kaposi András Kovács Thorsten Altenkirch	2
+ PDF Chat	Approximate normalization for gradual dependent types	2019	Joseph Eremondi Éric Tanter Ronald Garcia	2
+	Automatic and Transparent Transfer of Theorems along Isomorphisms in the Coq Proof Assistant	2015	Théo Zimmermann Hugo Herbelin	2
+ PDF Chat	Discrete nonlinear observers for inertial navigation	2005	Yong Zhao Jean-Jacques Slotine	2
+	The HoTT library: a formalization of homotopy type theory in Coq	2016	Andrej Bauer Jason Gross Peter LeFanu Lumsdaine Michael Shulman Matthieu Sozeau Bas Spitters	2
+ PDF Chat	Games and full completeness for multiplicative linear logic	1994	Samson Abramsky Radha Jagadeesan	2
+ PDF Chat	Contraction analysis of non-linear distributed systems	2005	Winfried Lohmiller Jean- Jacques E. Slotine	2
+ PDF Chat	De l'opérateur de trace dans les jeux de Conway	2006	Nicolas Tabareau	2
+ PDF Chat	A Contraction Theory Approach to Stochastic Incremental Stability	2009	Quang‐Cuong Pham Nicolas Tabareau J.-J.E. Slotine	2
+	Pseudo-commutative monads and pseudo-closed 2-categories	2002	Martin Hyland John Power	2
+	Conservativity of equality reflection over intensional type theory	1996	Martin Hofmann	2
+ PDF Chat	Sequentiality vs. concurrency in games and logic	2003	Samson Abramsky	2
+	Some results on the behavior of Lipschitz continuous systems	1997	Vincent Promion	2
+	Stochastic Differential Equations: Theory and Applications.	1976	P. Whittle Ludwig Arnold	2
+ PDF Chat	Control categories and duality: on the categorical semantics of the lambda-mu calculus	2001	Peter Selinger	2
+ PDF Chat	Temporal structure in neuronal activity during working memory in macaque parietal cortex	2002	Bijan Pesaran John S. Pezaris Maneesh Sahani Partha P. Mitra Richard A. Andersen	1
+ PDF Chat	Modularity of strong normalization in the algebraic-λ-cube	1997	Franco Barbanera Maribel Fernández Herman Geuvers	1
+	Adjunctions whose counits are coequalizers, and presentations of finitary enriched monads	1993	G. M. Kelly John Power	1
+ PDF Chat	How Synchronization Protects from Noise	2010	Nicolas Tabareau Jean-Jacques Slotine Quang‐Cuong Pham	1
+	Random dynamical systems	2020	Ludwig Arnold	1
+ PDF Chat	Strong desynchronizing effects of weak noise in globally coupled systems	2001	Jun-nosuke Teramae Yoshiki Kuramoto	1
+ PDF Chat	Semantic analysis of normalisation by evaluation for typed lambda calculus	2002	Marcelo Fiore	1
+	Continuation models are universal for Xp-calculus	1997	Martin Hofmann Thomas Streicher	1
+ PDF Chat	Free Monoid in Monoidal Abelian Categories	2008	Bruno Vallette	1
+	Extensional concepts in intensional type theory	1995	Martin Hofmann	1
+	Sheaves in Geometry and Logic: A First Introduction to Topos Theory	2018	Saunders MacLane Galdós Ieke Moerdijk	1
+	The formal theory of monads II	2002	Stephen Lack Ross Street	1
+	THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS	2014	Krzysztof Kapulkin Peter LeFanu Lumsdaine Vladimir Voevodsky	1
+	Pseudo-distributive Laws	2003	Eugenia Cheng Martin Hyland John Power	1
+	Nonlinear performance of a PI controlled missile: an explanation	1999	Vincent Fromion Gérard Scorletti G. Ferreres	1
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	1
+ PDF Chat	Resource modalities in game semantics	2007	Paul-André Melliès Nicolas Tabareau	1