Type Theory for Vegetables Seminar

by Jan Malakhovski

Seminar and crash course on advanced type theory and formal logic (for vegetables)..

Meetings

Contacts

Resources

Implementation language: Agda [1].

Language tutorials:

Plan

Striked out things are topics that weren’t covered explictly. You’re expected to do them yourself.

Checklist

References

1. Agda Project Authors. Agda homepage. https://wiki.portal.chalmers.se/agda/.

3. Norell U. Dependently typed programming in agda. 2008. https://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf.

4. Peebles D. Introduction to agda. http://www.youtube.com/playlist?p=B7F836675DCE009C.

5. McBride C. Introduction to dependently typed programming using agda. http://www.youtube.com/playlist?list=PL44F162A8B8CB7C87.

6. Malakhovski J. Введение в agda. https://www.youtube.com/watch?v=uUb-zItrYjQ.

7. Agda Project Authors. Agda: Tutorials list. 2024. https://agda.readthedocs.io/en/latest/getting-started/tutorial-list.html.

8. Malakhovski J. HOWTO: Get Started with Agda. https://blog.oxij.org/2011/12/22/howto-get-started-with-agda/.