Pages that link to "Item:Q692193"
From MaRDI portal
The following pages link to A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions (Q692193):
Displaying 7 items.
- Constructive belief reports (Q514084) (← links)
- Proof-theoretic semantics for subsentential phrases (Q969428) (← links)
- A model-theoretic reconstruction of type-theoretic semantics for anaphora (Q1744958) (← links)
- Subatomic natural deduction for a naturalistic first-order language with non-primitive identity (Q2011824) (← links)
- Meaning and computing: two approaches to computable propositions (Q2148782) (← links)
- Records and Record Types in Semantic Theory (Q3025327) (← links)
- Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)