The following pages link to Dependent event types (Q1685927):
Displaying 4 items.
- Handling verb phrase anaphora with dependent types and events (Q1799285) (← links)
- Inverse linking, possessive weak definites and Haddock descriptions: a unified dependent type account (Q2425324) (← links)
- Dependent information flow types (Q2819817) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)