Ars Mathematica

The latest issue of the e-journal, Electronic Notes in Theoretical Computer Science, has a nice summary article by Michael Huth on his work using topology for computer program semantics (vol. 161, pp. 3–23, 2006).

This entry was posted on Saturday, September 2nd, 2006 at 5:59 am and is filed under Computer science, Mathematics. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.