Programming Language Foundations in Agda / Dec 11 2019

by

Andrea Amantini

Dedication

Wen Kokke, Jeremy Siek, Philip Wadler

de Philip, para Wanda

amor da minha vida

knock knock knock...

This work is licensed under a Creative Commons Attribution 4.0 International License. Some changes were made to the original version in order to adapt its contents to nextjournal.