Sign in

Programming Language Foundations in Agda.

Philip Wadler
Published in: SBMF (2018)
Keyphrases