Modal Type TheoriesModal Type TheoriesUnpackedtheories.New insights and methods for modal typeCategory TheoryAdvancements in Modal Type TheoriesExploring new methods and interpretations in modal type theories.2025-12-07T01:54:09+00:00 ― 4 min read