Tag Archives: reading

Books!

Yay books! I am such a nerd. =) Here’s a list of the books I (or I and my wife) received for Christmas and my birthday: Categories for the Working Mathematician, Saunders Mac Lane I’ve picked up lots of little … Continue reading

Posted in reading | Tagged , , | 3 Comments

Type theory, here I come…

For Christmas my parents got me a copy of Types and Programming Languages. w00t! I started reading it today on the subway coming home from work. Unfortunately I’m kind of anal about reading prefaces, introductions and so on, so I … Continue reading

Posted in learning | Tagged , | 1 Comment