Books All
This is a topic under programming-languages.
Programming Language Foundations in Agda (2018)