Dan's Brain
Search site
Philip Wadler
author
Links to this note
Programming Language Foundation in Agda