Semantics: Resources

Saarland University Computer Science

We will mainly follow the ebook Software Foundations by Benjamin Pierce and others. We will also rely on the textbook Types and Programming Languages, again written by Benjamin Pierce. Throughout the course we will use the proof assistant Coq.

Lecture Notes

There are rudimentary

and some Coq developments complementing the primary texts.

Coq code used in lectures:

Main Texts


Further Reading

Last Change: Sat Aug 17 14:14:48 2019