Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!husc6!ukma!psuvm.bitnet!cunyvm!!cmx!herbrand!gefuchs
From: gefuchs@herbrand.uucp (Gill E. Fuchs)
Newsgroups: comp.text
Subject: ^ and lambda
Message-ID: <1519@cmx.npac.syr.edu>
Date: 6 May 89 04:48:39 GMT
Sender: usenet@cmx.npac.syr.edu
Reply-To: gefuchs@logiclab.cis.syr.edu (Gill E. Fuchs)
Organization: Logic Lab, CIS Dept., Syracuse University
Lines: 6


there is the answer...

\begin{enumerate}
  \item[T1b.\ ] {\bf be} $\Rightarrow \lambda{\cal P}\lambda x[{\cal P}\{^{\wedge}\lambda y[x = y]\}]$.
\end{enumerate}