« A word to the wise » Type theory, here I come...

Carnival of Mathematics #23 -- call for submissions

Posted on December 20, 2007
Tagged

On December 28 I’ll be hosting the Carnival of Mathematics over at my other blog, The Math Less Traveled. If you have any interesting math-related posts you’d like to submit (CS-related posts are fine—even encouraged—as long as there’s some sort of mathematical content!), that would be sweet.