From: Mitchell Porter (you_have_some_sort_of_bug@yahoo.com)
Date: Thu Apr 19 2001 - 18:09:32 MDT
What the subject line should really say is,
"technical book on complexity of proofs, some
of whose mathematical content might be adapted
so as to apply to the analysis of code".
The book is _A Graphic Apology for Symmetry
and Implicitness_ by Alessandra Carbone and
Stephen Semmes (Oxford Science Publications,
2000, I think it's a weird title too). I
haven't read it; it's a long technical book
about representing proofs as directed graphs,
and using the symmetries of the graphs to
simplify the proofs. The preface to the book
is on the web (in Postscript format, it seems)
at http://www.univ-paris12.fr/lacl/ale/Ale_books2.htm.
__________________________________________________
Do You Yahoo!?
Yahoo! Auctions - buy the things you want at great prices
http://auctions.yahoo.com/
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:36 MDT