Type Theory andType Theory andPropositional Equalityimpact on logic and computing.Investigating directed type theory'sCategory TheoryPropositional Equality in Type Theory: A Deeper LookExamining propositional equality's role in type theory and its implications.2025-06-06T04:19:36+00:00 ― 4 min read