Michael Shulman

According to our database, Michael Shulman authored at least 24 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Internal Parametricity, without an Interval.

Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman

Proc. ACM Program. Lang., January, 2024

2023

LNL polycategories and doctrines of linear logic.

Michael Shulman

Log. Methods Comput. Sci., 2023

Semantics of multimodal adjoint type theory.

Michael Shulman

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Strict universes for Grothendieck topoi.

Daniel Gratzer, Michael Shulman, Jonathan Sterling

CoRR, 2022

The directed plump ordering.

Daniel Gratzer, Michael Shulman, Jonathan Sterling

CoRR, 2022

Affine Logic for Constructive Mathematics.

Michael Shulman

Bull. Symb. Log., 2022

2021

The Univalence Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

CoRR, 2021

Categories of Nets.

John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Modalities in homotopy type theory.

Egbert Rijke, Michael Shulman, Bas Spitters

Log. Methods Comput. Sci., 2020

*-autonomous envelopes.

Michael Shulman

Proceedings of the Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2020

A Higher Structure Identity Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Comparing material and structural set theories.

Michael Shulman

Ann. Pure Appl. Log., 2019

2018

Brouwer's fixed-point theorem in real-cohesive homotopy type theory.

Michael Shulman

Math. Struct. Comput. Sci., 2018

2017

A Fibrational Framework for Substructural and Modal Logics.

Daniel R. Licata, Michael Shulman, Mitchell Riley

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

The HoTT library: a formalization of homotopy type theory in Coq.

Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Idempotents in intensional type theory.

Michael Shulman

Log. Methods Comput. Sci., 2016

Parametricity, Automorphisms of the Universe, and Excluded Middle.

Auke Bart Booij, Martín Hötzel Escardó, Peter LeFanu Lumsdaine, Michael Shulman

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

Adjoint Logic with a 2-Category of Modes.

Daniel R. Licata, Michael Shulman

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

The Seifert-van Kampen Theorem in Homotopy Type Theory.

Kuen-Bang Hou (Favonia), Michael Shulman

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

2015

Univalence for inverse diagrams and homotopy canonicity.

Michael Shulman

Math. Struct. Comput. Sci., 2015

Univalent categories and the Rezk completion.

Benedikt Ahrens, Krzysztof Kapulkin, Michael Shulman

Math. Struct. Comput. Sci., 2015

Of Matters Condensed.

Michael Shulman, Marc Warner

CoRR, 2015

2013

Calculating the Fundamental Group of the Circle in Homotopy Type Theory.

Daniel R. Licata, Michael Shulman

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2012

Quantum Gauge Field Theory in Cohesive Homotopy Type Theory.

Urs Schreiber, Michael Shulman

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012