title: A Relational Formulation of the Theory of Types
creator: Muskens, Reinhard
subject: Philosophy of Language
subject: Semantics
subject: Logic
description: 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.
date: 1989
type: Journal (Paginated)
type: PeerReviewed
format: application/pdf
identifier: http://cogprints.org/4703/1/relform.pdf
format: application/postscript
identifier: http://cogprints.org/4703/2/relform.ps
identifier:   Muskens, Reinhard  (1989) A Relational Formulation of the Theory of Types.  [Journal (Paginated)]     
relation: http://cogprints.org/4703/