Re: Rachunek lambda

Article View: pl.comp.lang.funkcyjne

Article #866

Back to pl.comp.lang.funkcyjne Previous Next

#866

From: Michal Przybylek
Date: Sun, 28 Jan 2007 17:42

16 lines
1273 bytes

jrx napisał(a):
> Jest może jakiś podręcznik do
> matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek
> lambda i monady)

A jeżeli chodzi o sam rachunek lambda, to:

"Lectures on the Curry-Howard Isomorphism" - Pawel Urzyczyn, Morten 
Heine Sorensen

i klasyka:

"The Lambda Calculus" - H. Barendregt


mp

Technical Details

Message-ID: <epin3i$nu8$1@nemesis.news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References: <epf7hb$pal$1@news.onet.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!mat.uni.torun.pl!news.man.torun.pl!newsfeed.pionier.net.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Michal Przybylek <mrp@neostrada.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Rachunek lambda
Date: Sun, 28 Jan 2007 18:42:55 +0100
Organization: tp.internet - http://www.tpi.pl/
Lines: 16
Message-ID: <epin3i$nu8$1@nemesis.news.tpi.pl>
References: <epf7hb$pal$1@news.onet.pl>
NNTP-Posting-Host: dld142.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: nemesis.news.tpi.pl 1170005938 24520 83.24.33.142 (28 Jan 2007 17:38:58 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sun, 28 Jan 2007 17:38:58 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.9 (Windows/20061207)
In-Reply-To: <epf7hb$pal$1@news.onet.pl>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message