View this page "Suggested reading"

[Yves]

I added information about what keen students may want to read to have
an easier
task during the lectures.

Click on http://groups.google.com/group/chalmers-cs-semantics-in-coq/web/suggested-reading
- or copy & paste it into your browser's address bar if that doesn't
work.