The following pages link to Common Nouns as Types (Q4981255):
Displaying 6 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- A computational treatment of anaphora and its algorithmic implementation (Q2035844) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
- Algebraic effects for extensible dynamic semantics (Q6156625) (← links)
