Representing Temporal Operators with Dependent Event Types

Activity: Talk or presentation › Oral presentation

Period12 Jun 2024
Event titleTYPES 2024
Event typeConference
Conference number30
LocationCopenhagen, DenmarkShow on map
Degree of RecognitionInternational

Keywords

  • Type Theory
  • natural language semantics
  • logic
  • mathematics
  • mathematical logic
  • temporal logic