Re: Rachunek lambda

Article View: pl.comp.lang.funkcyjne

Article #868

Back to pl.comp.lang.funkcyjne Previous Next

#868

From: Piotr Sawicki
Date: Tue, 30 Jan 2007 11:48

18 lines
1219 bytes

jrx powiada :
> 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

http://www.mimuw.edu.pl/~urzy/Lambda/
http://www.mimuw.edu.pl/~urzy/CHizomorfizm/


Piotr Sawicki

Technical Details

Message-ID: <slrneruc4r.qnr.ps171721@duch.mimuw.edu.pl>

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

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

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news2.icm.edu.pl!not-for-mail
From: Piotr Sawicki <ps171721@students.mimuw.edu.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Rachunek lambda
Date: Tue, 30 Jan 2007 11:48:43 +0000 (UTC)
Organization: KTG
Lines: 18
Message-ID: <slrneruc4r.qnr.ps171721@duch.mimuw.edu.pl>
References: <epf7hb$pal$1@news.onet.pl> <epin3i$nu8$1@nemesis.news.tpi.pl> <epmtkn$1jn$1@news.onet.pl>
Reply-To: piotr.sawicki@mimuw.edu.pl
NNTP-Posting-Host: duch.mimuw.edu.pl
Mime-Version: 1.0
X-Trace: achot.icm.edu.pl 1170157723 26154 193.0.96.2 (30 Jan 2007 11:48:43 GMT)
X-Complaints-To: abuse@icm.edu.pl
NNTP-Posting-Date: Tue, 30 Jan 2007 11:48:43 +0000 (UTC)
User-Agent: slrn/0.9.8.1pl1 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message