Re: Types of type theory

Article View: sci.logic

Article #360

#360

From: Colin Mclarty
Date: Thu, 12 Nov 1992 19:30

11 lines
865 bytes

In a previous article, dzik@access.digex.com (Joseph Dzikiewicz) says:

>I have come across two uses of the term "type theory" in logic that seem
>to be referring to different things.
>
	Yes, there are two different sense of "type"-- no doubt 
relatable on some level but I don't know of any reason toe relate
them.  
	The name "type theory" always means the first, i.e. 
higher order logics.

Technical Details

Message-ID: <1dubchINN5gj@usenet.INS.CWRU.Edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!agate!usenet.ins.cwru.edu!po.CWRU.Edu!cxm7

References: <BxIxGz.D7x@access.digex.com>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!agate!usenet.ins.cwru.edu!po.CWRU.Edu!cxm7
From: cxm7@po.CWRU.Edu (Colin Mclarty)
Newsgroups: sci.logic
Subject: Re: Types of type theory
Date: 12 Nov 1992 19:30:25 GMT
Organization: Case Western Reserve University, Cleveland, OH (USA)
Lines: 11
Message-ID: <1dubchINN5gj@usenet.INS.CWRU.Edu>
References: <BxIxGz.D7x@access.digex.com>
Reply-To: cxm7@po.CWRU.Edu (Colin Mclarty)
NNTP-Posting-Host: slc5.ins.cwru.edu

Reply to Parent Message