Published By W. W. Norton & Company

Verified Functional Programming in Agda


Programming Language Foundations