3 Jan
2013
3 Jan
'13
1:14 a.m.
On Wed, Jan 2, 2013 at 12:22 PM, Simon Thompson
Christopher, there's an introduction to proof for functional programs at
http://www.cs.kent.ac.uk/people/staff/sjt/Pubs/ProofChapter.pdf
Simon, is it possible to get the list of the bibliographic references used in the chapter? Best regards, -- Andrés