lambdacalculus and types
started 5/11/2004; 11:57:20 AM  last post 5/13/2004; 8:18:14 AM


Chris Rathman  lambdacalculus and types
5/11/2004; 11:57:20 AM (reads: 7362, responses: 7)


lambdacalculus and types 
Not quite my cupotea, 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 lambdacalculi 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: lambdacalculus 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: lambdacalculus and types
5/13/2004; 8:05:12 AM (reads: 145, responses: 4)


Yep.


Andris Birkmanis  Re: lambdacalculus 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: lambdacalculus 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: lambdacalculus 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: lambdacalculus 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: lambdacalculus 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...



