Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Pierre-Marie Pédrot

A Reasonably Exceptional Type Theory

Proceedings of the ACM on Programming Languages
2019English

Related publications

Geometry of ℝ+ × E3(3) Exceptional Field Theory and F-Theory

Journal of High Energy Physics
High Energy PhysicsNuclear
2019English

A Dependent Nominal Type Theory

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Decidability of Conversion for Type Theory in Type Theory

Proceedings of the ACM on Programming Languages
2018English

Tilting Modules and Exceptional Sequences for Leaf Quotients of Type a Zig-Zag Algebras

Beitrage zur Algebra und Geometrie
GeometryTopologyNumber TheoryAlgebra
2019English

Three Simple Rules to Ensure Reasonably Credible Subgroup Analyses

British Medical Journal
Medicine
2015English

Actions of Linear Algebraic Groups of Exceptional Type on Projective Varieties

Pacific Journal of Mathematics
Mathematics
2009English

Tensor Hierarchy and Generalized Cartan Calculus in SL(3) × SL(2) Exceptional Field Theory

Journal of High Energy Physics
High Energy PhysicsNuclear
2015English

Modal Homotopy Type Theory

2020English

Type Theory and the Theory of Meaning

Annals of the Japan Association for Philosophy of Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy