Article View: comp.text
Article #6325^ and lambda
From: Gill E. Fuchs
Date: Sat, 06 May 1989 04:48
Date: Sat, 06 May 1989 04:48
6 lines
588 bytes
588 bytes
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}
Technical Details
Message-ID:
<1519@cmx.npac.syr.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!husc6!ukma!psuvm.bitnet!cunyvm!!cmx!herbrand!gefuchsShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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