Rachunek lambda

Article View: pl.comp.lang.funkcyjne

Article #863

Back to pl.comp.lang.funkcyjne Previous Next

#863

From: jrx
Date: Sat, 27 Jan 2007 09:55

16 lines
1327 bytes

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)

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: <epf7hb$pal$1@news.onet.pl>

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

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: Rachunek lambda
Date: Sat, 27 Jan 2007 10:55:01 +0100
Organization: Onet.pl
Lines: 16
Message-ID: <epf7hb$pal$1@news.onet.pl>
NNTP-Posting-Host: staticline10535.toya.net.pl
Mime-Version: 1.0
X-Trace: news.onet.pl 1169891691 25941 85.89.162.28 (27 Jan 2007 09:54:51 GMT)
X-Complaints-To: usenet@news.onet.pl
NNTP-Posting-Date: Sat, 27 Jan 2007 09:54:51 +0000 (UTC)
X-Sender: W+++SR/id+jZc84L7oDwU8EOCYxih99r
User-Agent: Thunderbird 1.5.0.9 (X11/20070103)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit