Books

Reference of books that Yoo Chung are learning from. This is in no way an exhaustive list; it focuses on references on the World Wide Web that I visit with some frequency.

If you want, you can go back to the parent category.

Links

Programming Language Foundations in Agda

About programming language foundations, including denotational semantics, backed up by formal proofs written in Agda. I also use this to learn how to prove theorems in Agda.