Pages that link to "Item:Q3025327"
From MaRDI portal
The following pages link to Records and Record Types in Semantic Theory (Q3025327):
Displaying 10 items.
- Situations in LTL as strings (Q731890) (← links)
- Probabilistic approaches to vagueness and semantic competency (Q1800430) (← links)
- Dynamic syntax. The dynamics of incremental processing: constraints on underspecification (Q2236487) (← links)
- Information states, attitudes and dependent record types (Q2776459) (← links)
- Proof Assistants for Natural Language Semantics (Q2963996) (← links)
- Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records (Q3025329) (← links)
- Semantics and Stratification (Q3025331) (← links)
- Situations as Strings (Q4917987) (← links)
- Propositional forms of judgemental interpretations (Q6053842) (← links)
- Type polymorphism, natural language semantics, and TIL (Q6156627) (← links)