"Teaching Foundations of Computation and Deduction Through Literate ..."

Gérard P. Huet (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics