« June 2005 | Main | October 2005 »
September 07, 2005
LaTeX for logicians
Typesetting logic stuff can be awful in raw LaTeX, so a handy-dandy set of macros helps a lot. I really wish there was a similar list for type theory as well as for programming language semantics. There is a jumbled list in the archives of the Types mailing list.
Posted by Carette at 08:33 PM | Comments (0)
September 06, 2005
Computable Analysis
While I knew of CCA Net a while back, I had not run across their books page, which contains links to quite a lot of interesting books that I really ought to buy.
Posted by Carette at 10:18 PM | Comments (0)