S. Feferman: Weyl Vindicated: Das Kontinuum, 70 Years Later, preprint, Stanford University (Proceedings of the Cesena Conference on Logic and Philosophy of Science, to appear).  Home/Search   Document Not in Database   Summary   Related Articles   Check

....like: kind type type In particular, the kind on the left may be T, the kind of types. This schema is the crucial type construction in explicit polymorphism. It is impredicative in that, in order to know what types are, one must already know their entire collection, T . Feferman 87, 88] and [Longo 88] provide further discussions. This peculiar type construction is reflected in the related rules. In [VI P] one allows the formation of terms where abstraction is not done with respect to variables ranging over a type, as in the first order case. Instead, they range over a ....

S. Feferman: Weyl Vindicated: Das Kontinuum, 70 Years Later, preprint, Stanford University (Proceedings of the Cesena Conference on Logic and Philosophy of Science, to appear).

....kind type Page 31 type In particular, the kind on the left may be T, the kind of types. This schema is the crucial type construction in explicit polymorphism. It is impredicative in that, in order to know what types are, one must already know their entire collection, T . Feferman 87, 88] and [Longo 88] provide further discussions. This peculiar type construction is reflected in the related rules. In [VI P] one allows the formation of terms where abstraction is not done with respect to variables ranging over a type, as in the first order case. Instead, they range over a ....

S. Feferman: Weyl Vindicated: Das Kontinuum, 70 Years Later, preprint, Stanford University (Proceedings of the Cesena Conference on Logic and Philosophy of Science, to appear).

....looks like: kind type type In particular, the kind on the left may be T, the kind of types. This schema is the crucial type construction in explicit polymorphism. It is impredicative in that, in order to know what types are, one must already know their entire collection, T . Feferman 87, 88] and [Longo 88] provide further discussions. This peculiar type construction is reflected in the related rules. In [VI P] one allows the formation of terms where abstraction is not done with respect to variables ranging over a type, as in the first order case. Instead, they range over a kind ....

S. Feferman: Weyl Vindicated: Das Kontinuum, 70 Years Later, preprint, Stanford University (Proceedings of the Cesena Conference on Logic and Philosophy of Science, to appear).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC