A Coloured Version of the $\lambda$-Calculus

Author: Dieter Hutter and Michael Kohlhase

Editor: