TY - GEN
AU - Huet, Gérard
AU - Gérard Huet
TI - Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization
PB - Schloss Dagstuhl – Leibniz-Zentrum für Informatik
KW - Computation
KW - Foundations
KW - Deduction
KW - Proofs
KW - Programming
PY - 2016
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation