Pages that link to "Item:Q3026332"
From MaRDI portal
The following pages link to Relating type-structures. Partial variations on a theme of Friedman and Statman (Q3026332):
Displaying 4 items.
- \(\lambda\)-structures and \(s\)-structures: translating the models (Q638495) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- Categories of partial morphisms and the relation between type structures. Partial variations on a theme of Friedman and Statman (Q4029583) (← links)
- On the ubiquity of certain total type structures (Q5430138) (← links)