Re: rachunek Lambda

Article View: pl.comp.lang.funkcyjne

Article #320

Back to pl.comp.lang.funkcyjne Previous Next

#320

From: Mariusz K. Grzeca
Date: Mon, 31 Mar 2003 11:14

8 lines
1406 bytes

On Sun, 30 Mar 2003, 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.

http://www.mimuw.edu.pl/~urzy/Lambda/
http://www.cs.kun.nl/~erikb/onderwijs/T3/materiaal/lambda.ps

Technical Details

Message-ID: <Pine.LNX.4.44L.0303311309030.8465-100000@sokrates.mimuw.edu.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!mimuw.edu.pl!news.mimuw.edu.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.icm.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail
From: "Mariusz K. Grzeca" <mgrzeca@sokrates.mimuw.edu.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: rachunek Lambda
Date: Mon, 31 Mar 2003 13:14:10 +0200
Organization: Zamordysci wszystkich krajow laczcie sie
Lines: 11
Message-ID: <Pine.LNX.4.44L.0303311309030.8465-100000@sokrates.mimuw.edu.pl>
References: <Xns934EEA49AB3FEzdomu@213.180.128.20>
NNTP-Posting-Host: sokrates.mimuw.edu.pl
Mime-Version: 1.0
X-Trace: kenny.mimuw.edu.pl 1049109254 26104 10.1.1.6 (31 Mar 2003 11:14:14 GMT)
X-Complaints-To: abuse@news.mimuw.edu.pl
NNTP-Posting-Date: Mon, 31 Mar 2003 11:14:14 +0000 (UTC)
X-Original-Path: sokrates.mimuw.edu.pl!mgrzeca
X-Quake2-Server: games.astercity.net:28910
X-Editor: Vim 5.6
In-Reply-To: <Xns934EEA49AB3FEzdomu@213.180.128.20>
X-Path-Notice: Path line has been filtered
X-Newsreader: Microshaft Lookout Express 10.00.666
X-Quake2-Name: [SOFT]nosound
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message