<> "The repository administrator has not yet configured an RDF license."^^ . <> . . "A Relational Formulation of the Theory of Types"^^ . "This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language."^^ . "1989" . . . "12" . . "Linguistics and Philosophy"^^ . . . . . . . . "Reinhard"^^ . "Muskens"^^ . "Reinhard Muskens"^^ . . . . . . "A Relational Formulation of the Theory of Types (PDF)"^^ . . . . . . . . . "relform.pdf"^^ . . . "A Relational Formulation of the Theory of Types (Postscript)"^^ . . . . . . "relform.ps"^^ . . . "A Relational Formulation of the Theory of Types (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "A Relational Formulation of the Theory of Types (Image (PNG))"^^ . . . . . . "preview.png"^^ . . . "A Relational Formulation of the Theory of Types (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . "HTML Summary of #4703 \n\nA Relational Formulation of the Theory of Types\n\n" . "text/html" . . . "Philosophy of Language" . . . "Semantics" . . . "Logic" . .