Michael Shulman

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