Dynamic Lambda Calculus

Autor: Michael Kohlhase and Susanna Kuschert

Herausgeber: