From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/418
Path: news.gmane.org!not-for-mail
From: categories <cat-dist@mta.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: my formula again.
Date: Tue, 1 Jul 1997 15:11:01 -0300 (ADT)
Message-ID: <Pine.OSF.3.90.970701151054.24245B-100000@mailserv.mta.ca>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Trace: ger.gmane.org 1241016954 25667 80.91.229.2 (29 Apr 2009 14:55:54 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 14:55:54 +0000 (UTC)
To: categories <categories@mta.ca>
Original-X-From: cat-dist Tue Jul  1 15:11:34 1997
Original-Received: by mailserv.mta.ca; id AA31042; Tue, 1 Jul 1997 15:11:01 -0300
Original-Lines: 15
Xref: news.gmane.org gmane.science.mathematics.categories:418
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/418>

Date: Tue, 1 Jul 1997 11:05:19 +0100 (BST)
From: Paul Taylor <pt@dcs.qmw.ac.uk>

Thanks to Pino Rosolini for pointing out a typo in my formula:

        for any function f:Sigma x X -> Sigma    (not -> X)
        and predicate    a:X -> Sigma

        f(a) & a  =  f(true) & a

where the parameter x has been suppressed from the equation
so in full it reads, less clearly
	f(a(x),x) & a(x) = f(true,x) & a(x)
Paul