Programming Language Foundations in Agda

2 points| amir | 5 months ago |plfa.inf.ed.ac.uk