News for hackers. Stuff that matters.

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

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 ]

There are no comments on this comment yet.