The following pages link to (Q4552507):
Displaying 6 items.
- A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193) (← links)
- Anti-dynamics: Presupposition projection without dynamic semantics (Q1006462) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- (Q4342077) (← links)
- Higher-Order Multi-Valued Resolution (Q4443416) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)