Some Aspects of Impredicativity
Séminaire de Philosophie et Mathématiques no. 2  (1993), article no. 2, 19 p.
@article{SPHM_1993___2_A2_0,
     author = {Longo, Giuseppe},
     title = {Some Aspects of Impredicativity},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {IREM Paris-Nord},
     number = {2},
     year = {1993},
     language = {en},
     url = {http://www.numdam.org/item/SPHM_1993___2_A2_0}
}
Longo, Giuseppe. Some Aspects of Impredicativity. Séminaire de Philosophie et Mathématiques, no. 2 (1993), article  no. 2, 19 p. http://www.numdam.org/item/SPHM_1993___2_A2_0/

Amadio R., Bruce K., Longo G. [1986] "The finitary projections model and the solution of higher order domain equations" IEEE Conference on Logic in Computer Science, Boston, June 1986.

Amadio R., Longo G. [1986] "Type-free compiling of parametric Types" IFIP Conference Formal description of Programming Concepts Ebberup (DK), North Holland, 1987 (to appear). | MR 985800

Asperti A., Longo G. [1991] Categories, Types and Structures, M.I.T. Press. | MR 1159196

Barendregt, H. [1984] The lambda calculus: its syntax and semantics, Revised edition, N. H.. | MR 774952 | Zbl 0551.03007

Berardi S. [1988] "DI-domains as a model for λβP and higher order functional languages" draft, CMU.

Breazu-Tannen V., Coquand T. [1987] "Extensional models for polymorphism" TAPSOFT-CFLP, Pisa. | MR 900622 | Zbl 0636.03005

Browder, F. [1983] The Mathematical Heritage of Henri Poincaré, Vol. 39, Proceedings of Symposia in Pure Mathematics, American Math Society. | Zbl 0512.00008

Brouwer L. [1923]. "On the significance of principle of excluded middle in mathematics, especialy in function theory." in van Heijenoort [1967], pp. 302-334.

Carboni A., Freyd P., Scedrov A. [1987] "A categorical approach to realizability and polymorphic types" 3rd ACM Symp. on Math. Found of Lang. Seman., New Orleans, LNCS vol. 298, Springer- Verlag. | Zbl 0651.18004

Cardelli L. [1986] "A polymorphic ;-calculus with Type:Type", Preprint, Syst Res. Center, Dig. Equip. Corp.

Cardelli L. [1988] "A Quest preview", Preprint, Syst. Res. Center, Dig. Equip. Corp.

Cardelli L., Longo G. [1991] "A semantic basis for Quest", Journal of Functional Programming, vol. 1, n. 2, 1991 (pp.417-458). | MR 1140339 | Zbl 0941.68528

Chandarasekharan, K. [1986] Hermann Weyl, Springer-Verlag, Berlin Heidelberg, Germany.

Coquand T., Gunter C., Winskel G.[1988] "Domain theoretic models of polymorphism" Info&Comp.. (to appear). | MR 997196 | Zbl 0683.03007

Ehrhard, T. [1988] "A Categorical Semantics of Constructions" Proceedings of L. I. C. S. '88, Edinburgh.

Feferman, S. [1964 "Systems of predicative analysis" JSL 29, 1-30. | MR 193006 | Zbl 0134.01101

Feferman, S. [1968] "Autonomous Transfinite Progressions and the Extent of Predicative Mathematics." In Logic, Methodology and Philosophy of Science III (Rootsellar, ed.), 121-135. | MR 252196 | Zbl 0198.32302

Feferman, S. [1975] "A language and axioms for explicit mathematics", in Lecture Notes in Mathematics 450, Springer-Verlag, pp. 87-139. | MR 409137 | Zbl 0357.02029

Feferman, S. [1984] "Foundational ways", in Perspectives in Mathematics (Birkha^ser, Basel), 147- 158. | MR 779675 | Zbl 0576.03001

Feferman, S. [1986] "Infinity in mathematics: is Cantor necessary?, in (Toraldo di Francia, G., ed.) L'infinito nella scienza/ Infinity in science, Enciclopedia Italiana (Rome), 151-210.

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

Girard, J. [1972] "Interpretation fonctionelle et elimination des coupure dans l'arithmetic d'ordre superieur," These de Doctorat d'Etat, Paris.

Girard J.Y. [1986] The system F of variable types, fifteen years later" Theor. comp. Sci, vol. 45, pp. 159-192. | MR 867281 | Zbl 0623.03013

Goldfarb, W. [1986] "Poincare Against the Logicists" to appear W. Aspray and P.Kitcher, Essays in the History and Philosophy of Mathematics, (Minn. Studies in the Phil, of Science). | MR 945466

Harper R., Honsell F., Plotkin G. [1987] "A framework for defining logics" LICS 87, Cornell. | Zbl 0778.03004

Van Heijenoort, J. [1967] From Frege to Godel, Harvard University Press. Cambridge, Massachusetts. | Zbl 0183.00601

Hilbert D. [1925] "On the infinite" in van Heijenoort [1967], pp. 367-392.

Hilbert D. [1927] "The foundations of mathematics." in van Heijenoort [1967], pp. 464-480.

Hindley R., Longo G. [1980] "Lambda-calculus models and extensionality," Zeit. Math. Logik Grand. Math. n. 2, vol. 26 (289-310). | MR 582407 | Zbl 0453.03015

Hyland M. [1982] "The effective Topos," in The Brouwer Symposium, (Troelstra, Van Dalen eds.) North-Holland. | MR 717245 | Zbl 0522.03055

Hyland M. [1987] "A small complete category" Lecture delivered at the Conference Church's Thesis after 50 years, Zeiss (NL), June 1986 (Ann. Pure Appl. Logic, to appear). | MR 972520 | Zbl 0659.18007

Hyland M., Pitts A. [1987] "The Theory of Constructions: categorical semantics and topos theoretic models" Categories in Comp. Sci. and Logic, Boulder (AMS notes). | Zbl 0721.03048

Klop J.W. [1980] "Combinatory reduction systems" Thesis, Univ. Utrecht; publ. Math Centre, Kruislaan 413, Amsterdam, Holland. | MR 603274 | Zbl 0466.03006

Kreisel, G. [1960] "La Predicativit" In Bull. Soc math. France. 88, 1960, p. 371 a 391. | Numdam | MR 123475 | Zbl 0131.00604

Kreisel, G. [1968] "Functions, Ordinals, Species." In Logic, Methodology and Philosophy of Science III (Rootsellar, ed.), pp. 145-159. | MR 248005 | Zbl 0187.26501

Longo G. [1987] "On Church's Formal Theory of functions and functionals," Lecture delivered at the Conference Church's Thesis after 50 years, Zeiss (NL), June 1986 (Ann. Pure Appl. Logic, to appear). | MR 972519

Longo, G. [1988] "From type-structures to Type Theories" notes for a graduate course at Carnegie Mellon University.

Longo G., Moggi E. [1988] "Constructive Natural Deduction and its ω-set Interpretation" Mathematical Structures in Computer Science, vol. 1, n. 2,1991 (pp. 215-253). | MR 1132148 | Zbl 0756.03028

Longo G., Moggi E. [1989] "A category-theoretic characterization of functional completeness" Theor. Com. Sci. vol. 70, 2, 1990 (pp. 193-211). | MR 1044539 | Zbl 0698.68008

Martini S. [1988] "Modelli non estensionali del polimorfismo in programmazione funzionale" Tesi di Dottorato, Pisa (in part to appear in the LISP Conference, 1988).

Martin-Löf P. [1984] Intuitionistic Type Theory, Bibliopolis, Napoli. | MR 769301

Meyer A. R., Mitchell J., Moggi E., Statman R. [1987] "Empty types in polymorphic lambda calculus" (ACM Conference on) POPL '87, Munich.

Meyer, A. R. Reinhold, M.B. [1986] "Type is not a type", (ACM Conference on) POPL '86.

Mitchell J. [1986] "A type-inference approach to reduction properties and semantics of polymorphic expressions" ACM Conference on LISP and Functional Programming, Boston.

Mitchell J. C., Plotkin G. [1985] "Abstract types have exixtential types" Proc. Popl 85, ACM.

Pitts A. [1987] "Polymorphism is set-theoretic, constructively" Symposium on Category Theory and Comp. Sci., SLNCS 283 (Pitt et al. eds), Edinburgh. | MR 925222 | Zbl 0644.18003

Poincaré, H. [1913] Derni es, (english edition, Dover Publ., Inc., New York, 1963).

Reynolds J. [1984], "Polymorphism is not set-theoretic," Symposium on Semantics of Data Types, (Kahn, MacQueen, Plotkin, eds.) LNCS 173, Springer-Verlag | MR 784456 | Zbl 0554.03012

Rosolini G. [1986th] "Continuity and efffectiveness in Topoi" D. Phil. Thesis, Oxford Univ.

Rosolini G. [1986] "About Modest Sets" Notes for a talk delivered in Pisa. | Zbl 0729.18003

Scott D. [1972] "Continuous lattices" Toposes, algebraic Geometry and Logic, (Lawvere ed.), SLNM 274, (pp.97-136) Springer-Verlag. | MR 404073 | Zbl 0239.54006

Scott D. [1976] "Data types as lattices," SIAM Journal of Computing, 5 (pp. 522-587). | MR 437330 | Zbl 0337.02018

Scott D. [1980] "A space of retracts" Manuscript, Bremen.

Scott, D. [1982] "Some ordered sets in Computer Science," in Ordered Sets (Rival Ed.), Reidel. | MR 661310 | Zbl 0497.06001

Seely, R. [1987] "Categorical semantics for higher order polymorphic lambda calculus", JSL, vol. 52, n. 4, pp. 969-989. | MR 916402 | Zbl 0642.03007

Tonietti T. [1981] "Inspired Mathematics or Applied Mathematics ? (Epistemological and historical notes on Catastrophe Controversy)" Fundamenta Scientiae vol. 2, n.3/4, pp. 321-343. | MR 632903

Troesltra A.S. [1973] "Notes in intutionistic second order arithmetic," Cambridge Summer School in Mathematical Logic, Springer LNM 337, pp. 171-203. | MR 363826 | Zbl 0275.02036

Weyl, H. [1918] Das Kontinuum, (italian edition, care of B. Veit, Bibliopolis, Napoli, 1977).

Weyl, H. [1927] "Comments on Hubert's second lecture on the foundations of mathematics." in van Heijenoort [1967]

Weyl, H. [1934] Mind and Nature, Univ. of Pennsylvania publ.. | JFM 60.0857.10 | MR 2554516

Weyl, H. [1949] Philosophy of Mathematics and Natural Science, Princeton University Press, Princeton, New Jersey. | MR 2489603 | Zbl 0462.01001

Weyl, H. [1952] Symmetry, Princeton University Press, Princeton, New Jersey. | MR 48449 | Zbl 0046.00406

Weyl, H. [1985] "Axiomatic Versus Constructive Procedures in Mathematics." (Edited by T. Tonietti) The Mathematical Intelligence Vol. 7, No. 4, Springer-Verlag New York. | MR 810140 | Zbl 0569.01011