Skip to main content
SpringerLink
Log in

Montague semantics, nominalization and Scott's domains

  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • Cresswell, M.: 1973,Logics and Languages, Methuen.

  • Kripke, S.: 1975, ‘Outline of a Theory of Truth’,Journal of Philosophy LXXII, 690–716.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

Download references

Authors
  1. Raymond Turner
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00635645

Keywords

Search

Navigation