The following pages link to Nicolas Tabareau (Q636302):
Displayed 24 items.
- Resource modalities in tensor logic (Q636303) (← links)
- Towards certified meta-programming with typed Template-Coq (Q1791140) (← links)
- Chemical foundations of distributed aspects (Q2002053) (← links)
- Setoid type theory -- a syntactic translation (Q2176677) (← links)
- The \textsc{MetaCoq} project (Q2209542) (← links)
- Failure is not an option. An exceptional type theory (Q2323976) (← links)
- Geometry of the superior colliculus mapping and efficient oculomotor computation (Q2460462) (← links)
- An Algebraic Account of References in Game Semantics (Q2805167) (← links)
- Universe Polymorphism in Coq (Q2879272) (← links)
- Partial type equivalences for verified dependent interoperability (Q2985778) (← links)
- Extending Type Theory with Forcing (Q2986815) (← links)
- Kripke Open Bisimulation (Q3460912) (← links)
- An Explicit Formula for the Free Exponential Modality of Linear Logic (Q3638099) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
- The Definitional Side of the Forcing (Q4635893) (← links)
- A Contraction Theory Approach to Stochastic Incremental Stability (Q4974526) (← links)
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- The Marriage of Univalence and Parametricity (Q5056401) (← links)
- (Q5144660) (← links)
- Lawvere-Tierney sheafification in Homotopy Type Theory (Q5195281) (← links)
- Wild omega-Categories for the Homotopy Hypothesis in Type Theory (Q5277842) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464766) (← links)
- Contraction analysis of nonlinear random dynamical systems (Q6244953) (← links)