Michael Shulman

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 26

Top Topics

Jacobian Matrix

Broad Categories

Sequent Calculus

Top Venues

Math. Struct. Comput. Sci.

Log. Methods Comput. Sci.

Publications

Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
Internal Parametricity, without an Interval. Proc. ACM Program. Lang. 8 (POPL) (2024)
Michael Shulman
Semantics of multimodal adjoint type theory. CoRR (2023)
Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
Internal parametricity, without an interval. CoRR (2023)
Michael Shulman
LNL polycategories and doctrines of linear logic. Log. Methods Comput. Sci. 19 (2) (2023)
Daniel Gratzer, Michael Shulman, Jonathan Sterling
Strict universes for Grothendieck topoi. CoRR (2022)
Michael Shulman
Affine Logic for Constructive Mathematics. Bull. Symb. Log. 28 (3) (2022)
Daniel Gratzer, Michael Shulman, Jonathan Sterling
The directed plump ordering. CoRR (2022)
Michael Shulman
LNL polycategories and doctrines of linear logic. CoRR (2021)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
The Univalence Principle. CoRR (2021)
John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman
Categories of Nets. CoRR (2021)
John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman
Categories of Nets. LICS (2021)
Michael Shulman
*-autonomous envelopes. CoRR (2020)
Egbert Rijke, Michael Shulman, Bas Spitters
Modalities in homotopy type theory. Log. Methods Comput. Sci. 16 (1) (2020)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
A Higher Structure Identity Principle. CoRR (2020)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
A Higher Structure Identity Principle. LICS (2020)
Michael Shulman
Comparing material and structural set theories. Ann. Pure Appl. Log. 170 (4) (2019)
Michael Shulman
Brouwer's fixed-point theorem in real-cohesive homotopy type theory. Math. Struct. Comput. Sci. 28 (6) (2018)
Daniel R. Licata, Michael Shulman, Mitchell Riley
A Fibrational Framework for Substructural and Modal Logics. FSCD (2017)
Egbert Rijke, Michael Shulman, Bas Spitters
Modalities in homotopy type theory. CoRR (2017)
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
The HoTT library: a formalization of homotopy type theory in Coq. CPP (2017)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, automorphisms of the universe, and excluded middle. CoRR (2017)
Kuen-Bang Hou (Favonia), Michael Shulman
The Seifert-van Kampen Theorem in Homotopy Type Theory. CSL (2016)
Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman
Parametricity, Automorphisms of the Universe, and Excluded Middle. TYPES (2016)
Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters
The HoTT Library: A formalization of homotopy type theory in Coq. CoRR (2016)
Daniel R. Licata, Michael Shulman
Adjoint Logic with a 2-Category of Modes. LFCS (2016)
Michael Shulman
Idempotents in intensional type theory. Log. Methods Comput. Sci. 12 (3) (2016)
Michael Shulman
Univalence for inverse diagrams and homotopy canonicity. Math. Struct. Comput. Sci. 25 (5) (2015)
Michael Shulman, Marc Warner
Of Matters Condensed. CoRR (2015)
Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman
Univalent categories and the Rezk completion. Math. Struct. Comput. Sci. 25 (5) (2015)
Daniel R. Licata, Michael Shulman
Calculating the Fundamental Group of the Circle in Homotopy Type Theory CoRR (2013)
Daniel R. Licata, Michael Shulman
Calculating the Fundamental Group of the Circle in Homotopy Type Theory. LICS (2013)
Urs Schreiber, Michael Shulman
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. QPL (2012)