The following pages link to Theories as types (Q1799118):
Displaying 8 items.
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Essential core of the Hawking–Ellis types (Q3177425) (← links)
- Types as theories (Q3975038) (← links)
- (Q4345376) (← links)
- Theory Instantiation (Q5387915) (← links)
- (Q5393646) (← links)
- High-Level Theories (Q5505502) (← links)