Re: rachunek Lambda

Article View: pl.comp.lang.funkcyjne

Article #319

Back to pl.comp.lang.funkcyjne Previous Next

#319

From: Krzysztof Parzyszek
Date: Mon, 31 Mar 2003 01:46

15 lines
1257 bytes

On Sun, 30 Mar 2003 23:01:53 +0200, adam.sz wrote:
> Ok, nudno wam na grupie, a ja właśnie sobie zasubskrybowałem.
> Pytanko więc mam takie: czy macie jakieś ciekawe linki do poczytania
> o rachunku Lambda pana Churcha? Chyba jak najbardziej TG.


Np.
http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/

Plus linki do wcześniejszych notatek (zaraz przed sylabusem).


-- 
<>> kristof@swissmail.org <Krzysztof Parzyszek>    9/2/2002
<<> "If you can't convince them, confuse them" -- HS Truman

Technical Details

Message-ID: <b686ll$iic$1@rmf-fm.presscom.net>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!waszyngton.rmf.pl!not-for-mail

References: <Xns934EEA49AB3FEzdomu@213.180.128.20>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!waszyngton.rmf.pl!not-for-mail
From: Krzysztof Parzyszek <kristof@swissmail.org>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: rachunek Lambda
Date: Mon, 31 Mar 2003 01:46:29 +0000 (UTC)
Organization: RMF FM Waszyngton
Lines: 15
Message-ID: <b686ll$iic$1@rmf-fm.presscom.net>
References: <Xns934EEA49AB3FEzdomu@213.180.128.20>
NNTP-Posting-Host: antares.student.iastate.edu
Mime-Version: 1.0
X-Trace: rmf-fm.presscom.net 1049075189 19020 64.113.65.96 (31 Mar 2003 01:46:29 GMT)
X-Complaints-To: abuse@rmf.pl
NNTP-Posting-Date: Mon, 31 Mar 2003 01:46:29 +0000 (UTC)
User-Agent: slrn/0.9.7.4 (FreeBSD)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message