Pages that link to "Item:Q4821651"
From MaRDI portal
The following pages link to An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics (Q4821651):
Displaying 4 items.
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Underspecified Interpretations in a Curry-typed Representation Language (Q3025330) (← links)
- A single-type logic for natural language (Q3465049) (← links)
- Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)