[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
## [OT] Type theory

**From**: |
Farid Hajji |

**Subject**: |
[OT] Type theory |

**Date**: |
Mon, 22 Apr 2002 19:54:58 +0200 (CEST) |

[Sorry for OT post guys!]
Hi Atle,
since you're interested in type theory, have a look at:
ftp://ftp.cs.kun.nl/pub/CompMath.Found/marktoberdorf.ps.Z
[The author, Henk Barendregt wrote the seminal book on Church's
lambda calculus (BEWARE: _not_ of introductory level!):
"The Lambda Calculus: Its Syntax and Semantics"
H.P. Barendregt
Studies in Logic and The Foundations of Mathematics, Vol. 103
Elsevier, ISBN 0-444-87508-5
BTW, a subtype of lambda calculus (typed lambda calculus)
nicely "encaps" the notion of ADTs (among others)]
Type theory has found its way in modern functional languages
like ML and Haskell; to name just the most important ones.
Beware, if you don't like maths, avoid this like the plague ;)
BTW, it would be interesting to apply type theory to OS design,
especially to the Hurd... [of course, just kidding!].
Now, back on topic.
Regards,
-Farid.
--
Farid Hajji -- Unix Systems and Network Admin | Phone: +49-2131-67-555
Broicherdorfstr. 83, D-41564 Kaarst, Germany | farid.hajji@ob.kamp.net
- - - - - - - - - - - - - - - - - - - - - - - + - - - - - - - - - - - -
One OS To Rule Them All And In The Darkness Bind Them... --Bill Gates.

[Prev in Thread] |
**Current Thread** |
[Next in Thread] |

**[OT] Type theory**,
*Farid Hajji* **<=**