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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Nicolas Tabareau