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  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>