Re: Od czego zaczac?

Article View: pl.comp.lang.funkcyjne

Article #339

Back to pl.comp.lang.funkcyjne Previous Next

#339

From: Tomasz Zielonka
Date: Tue, 22 Jul 2003 07:33

21 lines
1642 bytes

Tomasz Zielonka napisał:
> 
> Ja sobie dobrze radzę bez porządnej znajomości rachunku lambda, ale
> kiedyś się zbiorę, przeczytam np.
> 
>     Introduction to Lambda Calculus - Barendregt, Barendsen
>     http://citeseer.nj.nec.com/barendregt94introduction.html
> 
> i poszukam ćwiczeń do rozwiązania, np. w
> 
>     http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/chapter2.ps.gz
>     http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/chapter3.ps.gz

Właściwie to w obu źródłach można znaleźć i ciekawą lekturę, i ćwiczenia
do rozwiązania.
 
Pozdrawiam,
Tomek

-- 
.signature: Too many levels of symbolic links

Technical Details

Message-ID: <slrnbhpq5h.h32.t.zielonka@zodiac.mimuw.edu.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail

References:

<ba3nci$911$1@atlantis.news.tpi.pl> <slrnbcikb8.ja2.t.zielonka@zodiac.mimuw.edu.pl> <bfcpv4$8og$1@atlantis.news.tpi.pl> <slrnbhposc.epk.t.zielonka@zodiac.mimuw.edu.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.gazeta.pl!news.internetia.pl!mimuw.edu.pl!news.mimuw.edu.pl!not-for-mail
From: Tomasz Zielonka <t.zielonka@students.mimuw.edu.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Od czego zaczac?
Date: Tue, 22 Jul 2003 07:33:06 +0000 (UTC)
Organization: MIMUW
Lines: 21
Message-ID: <slrnbhpq5h.h32.t.zielonka@zodiac.mimuw.edu.pl>
References: <ba3nci$911$1@atlantis.news.tpi.pl> <slrnbcikb8.ja2.t.zielonka@zodiac.mimuw.edu.pl> <bfcpv4$8og$1@atlantis.news.tpi.pl> <slrnbhposc.epk.t.zielonka@zodiac.mimuw.edu.pl>
Reply-To: t.zielonka@students.mimuw.edu.pl
NNTP-Posting-Host: zodiac.mimuw.edu.pl
Mime-Version: 1.0
X-Trace: kenny.mimuw.edu.pl 1058859186 2803 10.1.1.1 (22 Jul 2003 07:33:06 GMT)
X-Complaints-To: abuse@news.mimuw.edu.pl
NNTP-Posting-Date: Tue, 22 Jul 2003 07:33:06 +0000 (UTC)
User-Agent: slrn/0.9.7.3 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message