 lambda-calculus and types
started 5/11/2004; 11:57:20 AM - last post 5/13/2004; 8:18:14 AM
|
|
Chris Rathman - lambda-calculus and types 
5/11/2004; 11:57:20 AM (reads: 7362, responses: 7)
|
|
| lambda-calculus and types |
|
Not quite my cup-o-tea, but I figure I'd be remiss if I didn't pass the link on for these lecture notes from Thorsten Altenkirch:
These notes are based the view that typed lambda-calculi should be considered as fundamental because they can be used to model total functions which are easier to understand than partial functions and which are ultimatly more useful to construct solutions of problems. What is a (total) function? In Set Theory functions are represented as a relation which is total on the domain and deterministic on the codomain.
Posted to theory by Chris Rathman on 5/11/04; 11:58:33 AM
|
|
|
|
Ehud Lamm - Re: lambda-calculus and types
5/13/2004; 7:54:49 AM (reads: 159, responses: 0)
|
|
|
I can't manage to get this page to load. Did anyone?
|
|
Frank Atanassow - Re: lambda-calculus and types
5/13/2004; 8:05:12 AM (reads: 145, responses: 4)
|
|
|
Yep.
|
|
Andris Birkmanis - Re: lambda-calculus and types
5/13/2004; 8:15:18 AM (reads: 141, responses: 3)
|
|
|
"me too"
Though I must admit that LtU disappears periodically.
How is moving plan going on?
|
|
Chris Rathman - Re: lambda-calculus and types
5/13/2004; 8:18:14 AM (reads: 136, responses: 0)
|
|
|
Loads for me, though it was rather slow.
You might try the html link page at Thorsten Altenkirch's drafts and publications.
LtU has been disappearing periodically for me as well. Funny thing is that it was fast and reliable during the whole slashdotting from Jame's article. Not till a few days afterward did it start to act up.
|
|
Ehud Lamm - Re: lambda-calculus and types
5/13/2004; 8:19:24 AM (reads: 139, responses: 2)
|
|
|
Some people here promised to ask their providers if they can host us. I'd be glad to hear the results of any such inquiries.
Maybe I should just put a PayPal button, and see if we can raise some cash..
BTW: I was asking about the lecture notes which aren't hosted on LtU...
|
|
Andris Birkmanis - Re: lambda-calculus and types
5/13/2004; 8:23:56 AM (reads: 139, responses: 1)
|
|
BTW: I was asking about the lecture notes which aren't hosted on LtU...
Yes, I didn't express myself clearly, I meant, LtU is slow, though even that link is working ok, therefore excluding possibility of my ISP failure.
|
|
Ehud Lamm - Re: lambda-calculus and types
5/13/2004; 8:25:57 AM (reads: 142, responses: 0)
|
|
|
The site is behaving erratically these last two days. Usually means Userland is doing some maintenance...
|
|
|
|