Montague semantics, nominalization and Scott's domains

This publication has 7 references indexed in Scilit:

• Frege Structures and the Notions of Proposition, Truth and Set
  Studies in Logic and the Foundations of Mathematics, 1980
• 4 Type Theory and Ordinary Language
  Published by University of Texas Press ,1979
• The theory of homogeneous simple types as a second-order logic.
  Notre Dame Journal of Formal Logic, 1979
• The category-theoretic solution of recursive domain equations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977
• The Type Free Lambda Calculus
  Published by Elsevier ,1977
• Outline of a Theory of Truth
  The Journal of Philosophy, 1975
• Continuous lattices
  Lecture Notes in Mathematics, 1972