---
abstract: "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."
altloc:
  - http://let.uvt.nl/general/people/rmuskens/pubs/relform.pdf
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
  - family: Muskens
    given: Reinhard
    honourific: ''
    lineage: ''
date: 1989
date_type: published
datestamp: 2006-01-21
department: ~
dir: disk0/00/00/47/03
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 4703
fileinfo: /style/images/fileicons/application_pdf.png;/4703/1/relform.pdf|/style/images/fileicons/application_postscript.png;/4703/2/relform.ps
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'type theory, semantics, eta operator, lambda operator'
lastmod: 2011-03-11 08:56:19
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 325-346
pubdom: FALSE
publication: Linguistics and Philosophy
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 14
series: ~
source: ~
status_changed: 2007-09-12 17:01:52
subjects:
  - phil-lang
  - ling-sem
  - phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: A Relational Formulation of the Theory of Types
type: journalp
userid: 6111
volume: 12
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>