#dependent event types

Blog Posts

Works
No posts found with this tag.

Works

Blog Posts

Representing Temporal Operators with Dependent Event Types

10/07/2024 - 14/07/2024
Felix BradleyZhaohui Luo
Presented at TYPES 2024 in Copenhagen, Denmark
ext. abstractslides
#type theory#coercive subtyping#natural language semantics#dependent event types