The following pages link to Semantics and Stratification (Q3025331):
Displaying 6 items.
- Type-theoretic logic with an operational account of intensionality (Q514081) (← links)
- Structured meanings and reflexive domains (Q1207340) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- Records and Record Types in Semantic Theory (Q3025327) (← links)
- (Q3477992) (← links)
- (Q4785457) (← links)