News for hackers. Stuff that matters.

A comment on Ask HN: any type theory book recommendation?.

Re:Ask HN: any type theory book recommendation? by gtani on Sunday March 28, 2010 @12:43PM (#1224819)
This study groups is using the out of print Barr/wells, which I couldn't find for purchase

http://groups.google.com/group/bacat/topics?start=

[ Parent | on HN ]
Re:Ask HN: any type theory book recommendation? by pushout on Sunday March 28, 2010 @03:27PM (#1225084)
You should purchase the third edition of Barr & Wells directly from the publisher. Centre de Recherches Mathematiques. http://www.crm.umontreal.ca/pub/Collections/desc/PM023.html
[ Parent | on HN ]