Return-Path: <john.harrison-request@uk.ac.cam.cl>
Delivery-Date: 
Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2);
          Wed, 25 Nov 1992 19:22:27 +0000
Received: by ted.cs.uidaho.edu (16.6/1.34) id AA10771;
          Wed, 25 Nov 92 10:46:16 -0800
Sender: info-hol-request@edu.uidaho.cs.ted
Errors-To: info-hol-request@edu.uidaho.cs.ted
Precedence: bulk
Received: from linus.mitre.org by ted.cs.uidaho.edu (16.6/1.34) id AA10766;
          Wed, 25 Nov 92 10:46:07 -0800
Received: from circe.mitre.org by linus.mitre.org (5.61/RCF-4S) id AA07947;
          Wed, 25 Nov 92 13:45:21 -0500
Full-Name: Joshua D. Guttman
Posted-Date: Wed, 25 Nov 92 13:45:19 EST
Received: by circe.mitre.org (5.61/RCF-4C) id AA05766;
          Wed, 25 Nov 92 13:45:19 -0500
Message-Id: <9211251845.AA05766@circe.mitre.org>
To: info-hol@edu.uidaho.cs.ted
Cc: guttman@org.mitre.linus
Subject: Re: Equality and partial functions
X-Postal-Address: MITRE, Mail Stop A156 \\ 202 Burlington Rd. \\ Bedford, MA 
                  01730
X-Telephone-Number: 617 271 2654; Fax 617 271 3816
Date: Wed, 25 Nov 92 13:45:19 EST
From: guttman@org.mitre.linus

>Newsgroups: mitre.hol
>From: chou@cs.ucla.edu
>Subject: Re: Equality and partial functions 
>Organization: The MITRE Corp.  Mail to News relay
>Distribution: mitre
>Date: Tue, 24 Nov 1992 23:47:06 GMT
>
>There are discussions about logics with undefined terms in
>Troelstra and van Dalen's book: "Constructivism in Mathematics".
>
>- Ching Tsun

You may also want to check Bill Farmer's article, which contains a
general discussion of different approaches.   

	Josh

@Article{Farmer90,
  author = 	"W. M. Farmer",
  title = 	"A Partial Functions Version of {Church's} Simple Theory of Types",
  journal = 	"Journal of Symbolic Logic",
  year = 	"1990",
  volume = 	"55",
  Optnumber = 	"3",
  pages = 	"1269-91",
  OPTmonth = 	""}