San Francisco, CAUSA
August 30, 2012
I've read Awodey's book and several introductions to the topic, but comprehension remains elusive.
I've read TAPL and understand some of the basics.
I'm pretty proficient in Haskell and have dabbled in Erlang, Scheme, OCaml and F#.
I'm interested in Category Theory and Type Theory as a programmer.