On strict and simple type extensions
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2185650
- Extensional constructs in intensional type theory
- scientific article; zbMATH DE number 1101620
- Extensional equivalence and singleton types
- Definitional extension in type theory
- Derivation and inference of higher-order strictness types
- scientific article; zbMATH DE number 3889502
- Extending homotopy type theory with strict equality
- scientific article; zbMATH DE number 1104376
Cited in
(19)- Restricted weak type versus weak type
- A construction for topological extensions
- Finite extensions of topogenities
- scientific article; zbMATH DE number 55863 (Why is no real title available?)
- On a characterization of simple extensions of topologies
- scientific article; zbMATH DE number 4064025 (Why is no real title available?)
- Extensions and internal structure
- Relations of topologies as tools of (bi)topological applications
- Enumerated types and type extensions for MiniZinc
- scientific article; zbMATH DE number 6923849 (Why is no real title available?)
- Simultaneous extensions of topogenities
- scientific article; zbMATH DE number 1749627 (Why is no real title available?)
- scientific article; zbMATH DE number 469290 (Why is no real title available?)
- scientific article; zbMATH DE number 1104376 (Why is no real title available?)
- scientific article; zbMATH DE number 1101620 (Why is no real title available?)
- scientific article; zbMATH DE number 4192628 (Why is no real title available?)
- Simple systems and generalized topologies
- scientific article; zbMATH DE number 3929905 (Why is no real title available?)
- Separation properties of simultaneous topological extensions
This page was built for publication: On strict and simple type extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1384237)
