Pages that link to "Item:Q5883738"
From MaRDI portal
The following pages link to A modular construction of type theories (Q5883738):
Displaying 17 items.
- Construction of tame types (Q1728696) (← links)
- Modularity of proof-nets. Generating the type of a module. (Q1766921) (← links)
- A modern perspective on type theory. From its origins until today (Q1887432) (← links)
- A type system for higher-order modules (Q2942929) (← links)
- A minimalistic many-valued theory of types (Q3133165) (← links)
- A very modal model of a modern, major, general type system (Q3189790) (← links)
- Modular correspondence between dependent type theories and categories including pretopoi and topoi (Q3371526) (← links)
- (Q4246943) (← links)
- (Q4357062) (← links)
- Modular types in some supersimple theories (Q4451735) (← links)
- A Modular Type Reconstruction Algorithm (Q4617969) (← links)
- On the Structure of Mizar Types (Q4924547) (← links)
- Dialectica models of type theory (Q5145350) (← links)
- Modeling abstract types in modules with open existential types (Q5261533) (← links)
- Principal Type Schemes for Modular Programs (Q5756513) (← links)
- From rewrite rules to axioms in the \(\lambda \varPi \)-calculus modulo theory (Q6629514) (← links)
- Sharing proofs with predicative theories through universe-polymorphic elaboration (Q6635505) (← links)
