Searching for "Polymorphism is not Set-Theoretic." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus - A Contribution to MetaSoft
- …A Set-Theoretic Model for a Typed Polymorphic Lambda Calculus A Contribution to MetaSoft Andrzej…
- Cited by 3 (1 self) – Add To MetaCart
-
HimML: Standard ML with Fast Sets and Maps
- …] providing fast general (polymorphic) set-theoretic data-structures, and a comprehensive set of efficient…
- Cited by 6 (2 self) – Add To MetaCart
-
A Simple Model Construction for the Calculus of Constructions
- …. The restrictions on poly-functionals are a consequence from the fact that polymorphism is not set-theoretical…
- Cited by 2 (0 self) – Add To MetaCart
-
Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
- …: -- Types may be polymorphic, and include abstract types as well as the concrete set-theoretical product…
- Cited by 2 (0 self) – Add To MetaCart
-
Proc. Summer Workshop on Category and Computer
- … (ed.), Springer-Verlag, January, LNCS 94. Reynolds J. [1984] "Polymorphism is not set-theoretic…
- Add To MetaCart
-
Towards a Set-Theoretic Type Theory
- …Towards a Set-Theoretic Type Theory Andrzej Borzyszkowski y Ryszard Kubiak y Jacek Leszczy…
- Cited by 2 (1 self) – Add To MetaCart
-
INDEX equality 11, 169
- … on ML and its applications, 1922, pages 12--16. [146] J. Reynolds. Polymorphism is not set-theoretic…
- Add To MetaCart
-
Sets in Types, Types in Sets
- …. Since Reynolds [19], it is well-known that "polymorphism is not set-theoretic", i.e. it is not possible…
- Cited by 7 (1 self) – Add To MetaCart
-
On the Treatment of Predicative Polymorphism in Theories of Explicit Mathematics
- … variables range over a limited collection of types only. For such restricted forms of polymorphism, set-theoretic…
- Add To MetaCart
Showing 1 through 9.
