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
|
|