Ask HN: any type theory book recommendation? 16 years ago
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
pushout
Posts0
Comments1
No posts found.