Re: Rachunek lambda

Article View: pl.comp.lang.funkcyjne

Article #867

Back to pl.comp.lang.funkcyjne Previous Next

#867

From: jrx
Date: Tue, 30 Jan 2007 07:55

20 lines
1331 bytes

Michal Przybylek wrote:
> 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

Dzięki wielkie za tytuły, biore się do wyszukiwania

Pozdrawiam,
JRX

-- 
JRX --> dev \dot jrx \at gmail \dot com
If the words "open source" get you more excited than
the words "free porn"...you might be a Game Developer.
Registered Linux user# 383163

Technical Details

Message-ID: <epmtkn$1jn$1@news.onet.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail

References: <epf7hb$pal$1@news.onet.pl> <epin3i$nu8$1@nemesis.news.tpi.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.onet.pl!not-for-mail
From: jrx <alienserver_nospam_please@op.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Rachunek lambda
Date: Tue, 30 Jan 2007 08:55:16 +0100
Organization: Onet.pl
Lines: 20
Message-ID: <epmtkn$1jn$1@news.onet.pl>
References: <epf7hb$pal$1@news.onet.pl> <epin3i$nu8$1@nemesis.news.tpi.pl>
NNTP-Posting-Host: staticline10535.toya.net.pl
Mime-Version: 1.0
X-Trace: news.onet.pl 1170143703 1655 85.89.162.28 (30 Jan 2007 07:55:03 GMT)
X-Complaints-To: usenet@news.onet.pl
NNTP-Posting-Date: Tue, 30 Jan 2007 07:55:03 +0000 (UTC)
X-Sender: W+++SR/id+jZc84L7oDwU8EOCYxih99r
In-Reply-To: <epin3i$nu8$1@nemesis.news.tpi.pl>
User-Agent: Thunderbird 1.5.0.9 (X11/20070103)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message