A Coloured Version of the $\lambda$-Calculus

Autor: Dieter Hutter and Michael Kohlhase

Herausgeber: