Big trees in a lambda - calculus with lambda - expressions as types.

Roel C. de Vrijer
Published in: Lambda-Calculus and Computer Science Theory (1975)