Dynamic Lambda Calculus
Autor: Michael Kohlhase and Susanna Kuschert
Herausgeber: