Article View: pl.comp.lang.funkcyjne
Article #864Re: Rachunek lambda
From: Rudy
Date: Sat, 27 Jan 2007 11:03
Date: Sat, 27 Jan 2007 11:03
17 lines
1492 bytes
1492 bytes
jrx wrote: > Witam, > > Czy ktoś z was może wie, gdzie można dowiedzieć się czegoś więcej na > temat matematycznej strony języków funkcyjnych? Szperałem co nieco na > stronach haskella, ale materiały się tam znajdujące głównie dotyczą > praktycznych aspektów zastosowania języka. Jest może jakiś podręcznik do > matematyki zajmujący się tą tematyką? (Głównie interesuje mnie rachunek > lambda i monady) Na stronie lambda-the-ultimate.com jest mnóstwo linków. Zobacz też tę dyskusję http://tinyurl.com/2l3bet, zadałem chyba podobne pytanie ;) -- Andrzej 'Rudy' Dąbrowski GG 1177403
Technical Details
Message-ID:
<epfbj4$nvn$1@atlantis.news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newsfeed.tpinternet.pl!nemesis.news.tpi.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mailReferences:
<epf7hb$pal$1@news.onet.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.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: Rudy <a.r.dabrowski_NOSPAMPLEASE_@gmail.com> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: Rachunek lambda Date: Sat, 27 Jan 2007 12:03:30 +0100 Organization: Szfardon Mat-Fiz! Lines: 17 Message-ID: <epfbj4$nvn$1@atlantis.news.tpi.pl> References: <epf7hb$pal$1@news.onet.pl> Reply-To: a.r.dabrowski_NOSPAMPLEASE_@gmail.com NNTP-Posting-Host: abxy92.neoplus.adsl.tpnet.pl Mime-Version: 1.0 X-Trace: atlantis.news.tpi.pl 1169895844 24567 83.9.18.92 (27 Jan 2007 11:04:04 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Sat, 27 Jan 2007 11:04:04 +0000 (UTC) User-Agent: KNode/0.10.4 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit