Lambda the Ultimate

inactiveTopic categories study group
started 1/11/2004; 4:54:33 AM - last post 1/11/2004; 4:54:33 AM
Ehud Lamm - categories study group  blueArrow
1/11/2004; 4:54:33 AM (reads: 14226, responses: 0)
categories study group
StudyGroup for the moment consists of the book "Conceptual Mathematics, A first introduction to categories", by F. William Lawvere & Stephen H. Schanuel

Some here may be interested in following the progress on this Haskell Wiki page.

The Moggi papers are, of course, worthy of study.

Posted to theory by Ehud Lamm on 1/11/04; 4:55:20 AM