rachunek Lambda

Thread View: pl.comp.lang.funkcyjne

4 messages

[T] Back to Threads [V] Tree View [G] Group Articles

4 total messages Started by adam.sz Sun, 30 Mar 2003 21:01

#318

Author: adam.sz
Date: Sun, 30 Mar 2003 21:01

7 lines
1187 bytes

Ok, nudno wam na grupie, a ja właśnie sobie zasubskrybowałem.
Pytanko więc mam takie: czy macie jakieś ciekawe linki do poczytania
o rachunku Lambda pana Churcha? Chyba jak najbardziej TG.

adam
-- 
gg# 577534 gsm 506252678

Re: rachunek Lambda

#319

Author: Krzysztof Parzyszek
Date: Mon, 31 Mar 2003 01:46

15 lines
1257 bytes

On Sun, 30 Mar 2003 23:01:53 +0200, adam.sz wrote:
> Ok, nudno wam na grupie, a ja właśnie sobie zasubskrybowałem.
> Pytanko więc mam takie: czy macie jakieś ciekawe linki do poczytania
> o rachunku Lambda pana Churcha? Chyba jak najbardziej TG.


Np.
http://www.cl.cam.ac.uk/Teaching/Lectures/funprog-jrh-1996/

Plus linki do wcześniejszych notatek (zaraz przed sylabusem).


-- 
<>> kristof@swissmail.org <Krzysztof Parzyszek>    9/2/2002
<<> "If you can't convince them, confuse them" -- HS Truman

Re: rachunek Lambda

#320

Author: Mariusz K. Grzeca
Date: Mon, 31 Mar 2003 11:14

8 lines
1406 bytes

On Sun, 30 Mar 2003, adam.sz wrote:

> Ok, nudno wam na grupie, a ja właśnie sobie zasubskrybowałem.
> Pytanko więc mam takie: czy macie jakieś ciekawe linki do poczytania
> o rachunku Lambda pana Churcha? Chyba jak najbardziej TG.

http://www.mimuw.edu.pl/~urzy/Lambda/
http://www.cs.kun.nl/~erikb/onderwijs/T3/materiaal/lambda.ps

Re: rachunek Lambda

#321

Author: adam.sz
Date: Fri, 04 Apr 2003 18:16

10 lines
1314 bytes

Mariusz K. Grzeca a écrit dans le message de news:

> http://www.mimuw.edu.pl/~urzy/Lambda/
> http://www.cs.kun.nl/~erikb/onderwijs/T3/materiaal/lambda.ps

Dzięki :) nadrobię zaległości więc.

adam
-- 
gg# 577534 gsm 506252678

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads