Pages that link to "Item:Q3478383"
From MaRDI portal
The following pages link to From numbered sets to type theories (Q3478383):
Displaying 9 items.
- E-ccc: between ccc and topos, - its expressive power from the viewpoint of data type theory (Q908685) (← links)
- On the number of types (Q1708962) (← links)
- Organizing numerical theories using axiomatic type classes (Q1774558) (← links)
- Types in class set theory and inaccessible cardinals (Q1913296) (← links)
- A Unified Formal Description of Arithmetic and Set Theoretical Data Types (Q3582712) (← links)
- Cartesian closed categories of enumerations for effective type structures (Q3677755) (← links)
- (Q3792681) (← links)
- Constructive natural deduction and its ‘ω-set’ interpretation (Q4006232) (← links)
- Higher type categories (Q4304137) (← links)