%0 Generic
%T Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization
%A Huet, Gérard
%A Gérard Huet
%I Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%K Computation
%K Foundations
%K Deduction
%K Proofs
%K Programming
%D 2016
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%C Schloss Dagstuhl – Leibniz-Zentrum für Informatik
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation