Re: lambda calculus theory

[Hans N Beck]

Hi all,

I've recieved many help and comments. Thank you all !


Regards

Hans

Am 06.11.2005 um 15:53 schrieb Hans N Beck:


Hi,

I'm searching for a good mathematical oriented introduction to the  
theory of lambda calculus or other theoretical foundations of Lisp/ 
Haskell, i.e. monads or such (of course in the web there are much  
hints, but what is the best for mathematicans foreign to this field)


Regards

Hans
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: [Haskell] Re: lambda calculus theory

[Malcolm Wallace]

"Marc A. Ziegert" <[EMAIL PROTECTED]> writes:

> > I'm searching for a good mathematical oriented introduction to the  
> > theory of lambda calculus or other theoretical foundations of Lisp/ 
> > Haskell, i.e. monads or such (of course in the web there are much  
> > hints, but what is the best for mathematicans foreign to this field)
> 
> i'm searching for such lectures/papers/scripts, too.

The classic textbook on lambda calculus is 

The Lambda Calculus: Its Syntax and Semantics.
Henk Barendregt.
(Hardback, Elsevier, 1981)
(Paperback, North Holland, Amsterdam, 1987)

http://www.cs.ru.nl/~henk/
http://www.andrew.cmu.edu/user/cebrown/notes/barendregt.html

Regards,
Malcolm
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Re: lambda calculus theory

[Marc A. Ziegert]

(this duplicates that inquiry from glasgow-haskell-users@ to haskell@)



Am Sonntag, 6. November 2005 15:53 schrieb Hans N Beck:
> Hi,
> 
> I'm searching for a good mathematical oriented introduction to the  
> theory of lambda calculus or other theoretical foundations of Lisp/ 
> Haskell, i.e. monads or such (of course in the web there are much  
> hints, but what is the best for mathematicans foreign to this field)
> 
> Regards
> 
> Hans
> ___
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users@haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
> 
> 



Hi Hans,

i'm searching for such lectures/papers/scripts, too.
well, untill there is a better answer, i send you some links, which i think 
could be interesting to you.
the first real mathematical definition of "monad", i read, was in the paper 
"The essence of dataflow programming". i approve to not omit that paper, if you 
like both, haskell and that theory.
beside that, i attended a german lecture about Algebraic Topology. one chapter 
was about cathegory theory. it was not that much, but interesting.


lambda:

()
very interesting is the "typed lambda calculus", which allows effective 
bug-prevention, which you do not have in most variants of lisp (or lisp's 
derivatives) but in haskell.

functor:


monad:
there is a mathematical definition in the paper "The essence of dataflow 
programming", see 'comonad:' below.

cathegory theory:





arrow:



comonad:



beside these links, do not abstain from reading parts of the haskell library. 
(Data.Maybe, Data.Monoid, Control.Monad, Data.FunctorM, Control.Arrow)



- marc

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

lambda calculus theory

[Hans N Beck]

Hi,

I'm searching for a good mathematical oriented introduction to the  
theory of lambda calculus or other theoretical foundations of Lisp/ 
Haskell, i.e. monads or such (of course in the web there are much  
hints, but what is the best for mathematicans foreign to this field)


Regards

Hans
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users