Galois enthusiasm

Heck, that’s rather surprising! Over sixteen hundred and sixty people have now downloaded the notes on the Galois connection between syntax and semantics which I posted a link to here just a few days ago. Who knows why some pieces really hit the button and others seemingly provoke no interest at all?

(Now, c’mon guys, if you like the Galois piece, your students might just love my intro logic book, which I happened to be checking out today. It would be nice if that book were used some more, having made the effort to write it, as it isn’t at all bad, although I say so myself …)

This entry was posted in Logic. Bookmark the permalink.

2 Responses to Galois enthusiasm

  1. Joe says:

    You may have gotten a boost from “Lambda the Ultimate | The Programming Languages Weblog” ( These notes made the front page on 2010-06-05.

Leave a Reply

Your email address will not be published. Required fields are marked *