Nicolas Tabareau

Available identifiers

zbMath Open tabareau.nicolasMaRDI QIDQ636302

List of research outcomes

Publication	Date of Publication	Type
The Marriage of Univalence and Parametricity	2022-12-08	Paper
Model structure on the universe of all types in interval type theory	2022-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5144660	2021-01-19	Paper
The \textsc{MetaCoq} project	2020-11-02	Paper
Setoid type theory -- a syntactic translation	2020-05-05	Paper
Lawvere-Tierney sheafification in Homotopy Type Theory	2019-09-18	Paper
Failure is not an option. An exceptional type theory	2019-09-13	Paper
Chemical foundations of distributed aspects	2019-07-11	Paper
Towards certified meta-programming with typed Template-Coq	2018-10-04	Paper
An explicit formula for the free exponential modality of linear logic	2018-08-07	Paper
Foundations of dependent interoperability	2018-08-03	Paper
The Definitional Side of the Forcing	2018-04-23	Paper
A Contraction Theory Approach to Stochastic Incremental Stability	2017-08-08	Paper
Wild omega-Categories for the Homotopy Hypothesis in Type Theory	2017-07-12	Paper
Extending Type Theory with Forcing	2017-05-16	Paper
Partial type equivalences for verified dependent interoperability	2017-05-10	Paper
An algebraic account of references in game semantics	2016-05-10	Paper
Kripke Open Bisimulation	2016-01-08	Paper
Universe Polymorphism in Coq	2014-09-08	Paper
Contraction analysis of nonlinear random dynamical systems	2013-09-20	Paper
Resource modalities in tensor logic	2011-08-26	Paper
An Explicit Formula for the Free Exponential Modality of Linear Logic	2009-07-14	Paper
Geometry of the superior colliculus mapping and efficient oculomotor computation	2007-11-12	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper

Research outcomes over time

This page was built for person: Nicolas Tabareau