Login / Signup

Programming language foundations in Agda.

Wen KokkeJeremy G. SiekPhilip Wadler
Published in: Sci. Comput. Program. (2020)
Keyphrases