author = { Huet, Gérard Gérard Huet },

title = { Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Deduction , Foundations , Proofs , Programming , Computation },

year = {2016},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }