Richard wrote (on 17-10-01 10:20 -0700): > I could teach myself to do it clumsily, but I want to learn from others. > would learning category theory help me do this? pointers to documents? > proof-assistant software?
You might look at my page of online programming language theory texts, particularly the book by Hennessy, Pitts' course material on it, Nielson & Nielson's semantics book, Mike Gordon's notes on specification and verification, and Pfenning's course notes on theorem proving and deduction. http://www.cs.uu.nl/~franka/ref.html -- Frank Atanassow, Information & Computing Sciences, Utrecht University Padualaan 14, PO Box 80.089, 3508 TB Utrecht, Netherlands Tel +31 (030) 253-3261 Fax +31 (030) 251-379 _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
