Weak Equality Reflection in MLTT with Propositional Truncation

Activity: Talk or presentation › Oral presentation

Period11 Jun 2025
Event titleTYPES 2025
Event typeConference
Conference number31
LocationGlasgow, United KingdomShow on map
Degree of RecognitionInternational

Keywords

  • type theory
  • natural language semantics
  • logic
  • mathematical logic
  • mathematics
  • program specification
  • homotopy type theory