Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Hans Jacob Fehrmann
A Reasonably Exceptional Type Theory
Proceedings of the ACM on Programming Languages
Related publications
Geometry of ℝ+ × E3(3) Exceptional Field Theory and F-Theory
Journal of High Energy Physics
High Energy Physics
Nuclear
A Dependent Nominal Type Theory
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
Tilting Modules and Exceptional Sequences for Leaf Quotients of Type a Zig-Zag Algebras
Beitrage zur Algebra und Geometrie
Geometry
Topology
Number Theory
Algebra
Three Simple Rules to Ensure Reasonably Credible Subgroup Analyses
British Medical Journal
Medicine
Actions of Linear Algebraic Groups of Exceptional Type on Projective Varieties
Pacific Journal of Mathematics
Mathematics
Tensor Hierarchy and Generalized Cartan Calculus in SL(3) × SL(2) Exceptional Field Theory
Journal of High Energy Physics
High Energy Physics
Nuclear
Modal Homotopy Type Theory
Type Theory and the Theory of Meaning
Annals of the Japan Association for Philosophy of Science