Pages that link to "Item:Q4981278"
From MaRDI portal
The following pages link to Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Q4981278):
Displaying 4 items.
- Adjectival and adverbial modification: the view from modern type theories (Q683682) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Existential Import and Relations of Categorical and Modal Categorical Statements (Q3121968) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
