This site has been permanently archived. This is a static copy provided by the University of Southampton.

TY - GEN ID - cogprints4703 UR - http://cogprints.org/4703/ A1 - Muskens, Reinhard Y1 - 1989/// N2 - 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. KW - type theory KW - semantics KW - eta operator KW - lambda operator TI - A Relational Formulation of the Theory of Types SP - 325 AV - public EP - 346 ER -