home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2016 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  842 b 
  1. Path: sparky!uunet!stanford.edu!agate!usenet.ins.cwru.edu!po.CWRU.Edu!cxm7
  2. From: cxm7@po.CWRU.Edu (Colin Mclarty)
  3. Newsgroups: sci.logic
  4. Subject: Re: Types of type theory
  5. Date: 12 Nov 1992 19:30:25 GMT
  6. Organization: Case Western Reserve University, Cleveland, OH (USA)
  7. Lines: 11
  8. Message-ID: <1dubchINN5gj@usenet.INS.CWRU.Edu>
  9. References: <BxIxGz.D7x@access.digex.com>
  10. Reply-To: cxm7@po.CWRU.Edu (Colin Mclarty)
  11. NNTP-Posting-Host: slc5.ins.cwru.edu
  12.  
  13.  
  14. In a previous article, dzik@access.digex.com (Joseph Dzikiewicz) says:
  15.  
  16. >I have come across two uses of the term "type theory" in logic that seem
  17. >to be referring to different things.
  18. >
  19.     Yes, there are two different sense of "type"-- no doubt 
  20. relatable on some level but I don't know of any reason toe relate
  21. them.  
  22.     The name "type theory" always means the first, i.e. 
  23. higher order logics.
  24.