Programming Language Foundations in Agda•Private

by Andrea Amantini