Recommendations
- Incomplete symbols and the theory of logical types
- Type, infratype and the Elton-Pajor theorem
- Typing theorems of omega algebra
- scientific article; zbMATH DE number 1302057
- scientific article; zbMATH DE number 3867359
- The homotopy theory of type theories
- Hindman's theorem and idempotent types
- A formal theorem in Church's theory of types
- Skorohod's theorem and convergence of types
Cited in
(2)
This page was built for publication: The symbol of type and the Wilson theorem
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1941843)