News for hackers. Stuff that matters.

pushout

pushout on Hacker News

Re:Ask HN: any type theory book recommendation? 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