Bibliography
Aczel, P.: 1980, ‘Frege Structures and the Notions of Proposition, Truth, and Set’,The Kleene Symposium, ed. by J. Barwise, J. Keisler, and K. Kunen, North-Holland, pp. 31–59.
Barandregt, H.: 1977, ‘The Type-Free Lambda Calculus’,Handbook of Mathematical Logic, ed. by J. Barwise, North-Holland.
Bennett, M.: 1974,Some Extensions of a Montague Fragment of English, Unpublished Ph.D. dissertation, U.C.L.A.
Chierchia, G.: (forthcoming), ‘Nominalization and Montague Grammar’,Linguistics and Philosophy 5,3.
Chierchia, G.: 1982, ‘English Bare Plurals, Mass Terms’, Unpublished ms., University of Massachusetts at Amherst.
Cocchiarella, N.B.: 1979, ‘The Theory of Homogeneous Simple Types As a Second Order Logic’,Notre Dame Journal of Formal Logic 20, 505–524.
Cresswell, M.: 1973,Logics and Languages, Methuen.
Kripke, S.: 1975, ‘Outline of a Theory of Truth’,Journal of Philosophy LXXII, 690–716.
Meyer, R.: 1981, ‘What Is a Model of the Lambda Calculus?’, Unpublished ms., M.I.T. Lab., Computer Science.
Montague, R.: 1974,Formal Philosophy: Selected Papers of Richard Montague, ed. and with an introduction by R. Thomason, Yale University Press.
Parsons, T.: 1979, ‘Type Theory and Ordinary Language’, InLinguistics, Philosophy, and Montague Grammar, ed. by S. Davis and M. Mithun, University of Texas Press.
Russell, B.: 1903,The Principles of Mathematics, Allen & Irwin.
Scott, D.: 1972, ‘Continuous Lattices’, inToposes, Algebraic Geometry and Logic, ed. by F. W. Lawvere, LN Maths, Vol. 274, Springer.
Scott, D.: 1975, ‘Lambda Calculus and Recursion Theory’, inProceedings of Third Scandinavian Logic Symposium, ed. by S. Kanger, North-Holland, Amsterdam.
Smyth, and Plotkin: 1977, ‘The Category-theoretic Solution of Recursive Domain Equations’, inProceedings of the 18th Annual IEEE Symposium on Foundations of Computer Science, pp. 13–17.
Rights and permissions
About this article
Cite this article
Turner, R. Montague semantics, nominalization and Scott's domains. Linguist Philos 6, 259–288 (1983). https://doi.org/10.1007/BF00635645
Issue Date:
DOI: https://doi.org/10.1007/BF00635645