#propositional truncation

Blog Posts

Works
No posts found with this tag.

Works

Blog Posts

Weak Equality Reflection in MLTT with Propositional Truncation

09/07/2025 - 13/07/2025
Felix BradleyZhaohui Luo
Presented at TYPES 2025 in Glasgow, Scotland
ext. abstractslides
#type theory#coercive subtyping#natural language semantics#propositional truncation#homotopy type theory