References
Aczel, Peter: 1982, ‘The Type-Theoretic Interpretation of Constructive Set-Theory Choice Principles’, in A. S. Troelstra and D. van Dalen (eds.),The L.E.J. Brouwer Centenary Symposium, North-Holland, Amsterdam.
Dummett, M.: 1973,Frege, Philosophy of Language, Duckworth, London.
Martin-Löf, Per: 1975, ‘An Intuitionist Theory of Types: Predicative Part’, in H. E. Rose and J. C. Sheperdson (eds.),Logic Colloquium '73, North-Holland, Amsterdam.
Martin-Löf, Per: 1984,Intuitionistic Type Theory, Bibliopolis, Naples.
Nordström, B., K. Petterson, and J. Smith: 1986,An Introduction to Martin-Löf's Type Theory, Dept. of Computer Science, Chalmers University of Technology, Göthenborg.
Sundholm, Göran: 1986, ‘Proof Theory and Meaning’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, D. Reidel, Dordrecht.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Sundholm, G. Constructive generalized quantifiers. Synthese 79, 1–12 (1989). https://doi.org/10.1007/BF00873254
Issue Date:
DOI: https://doi.org/10.1007/BF00873254