#natural language semantics

Blog Posts

No posts found with this tag.

Works

Representing Temporal Operators with Dependent Event Types

10/07/2024 - 14/07/2024

Felix BradleyZhaohui Luo

Presented at TYPES 2024 in Copenhagen, Denmark

ext. abstract slides

#type theory #coercive subtyping #natural language semantics #dependent event types

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. abstract slides

#type theory #coercive subtyping #natural language semantics #propositional truncation #homotopy type theory