Dynamic Lambda Calculus

Author: Michael Kohlhase and Susanna Kuschert

Editor: