Pages that link to "Item:Q3010344"
From MaRDI portal
The following pages link to Contextual Analysis of Word Meanings in Type-Theoretical Semantics (Q3010344):
Displaying 7 items.
- Category theory, logic and formal linguistics: some connections, old and new (Q280832) (← links)
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Deverbal semantics and the Montagovian generative lexicon \(\Lambda \mathsf {Ty}_n\) (Q2255237) (← links)
- Natural language inference in Coq (Q2258817) (← links)
- Representing types as neural events (Q2425320) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)