The following pages link to Natural language inference in Coq (Q2258817):
Displaying 4 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Natural language semantics and computability (Q2425328) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
