A Characterisation of Lambda Definable Tree Operations

Marek Zaionc. A Characterisation of Lambda Definable Tree Operations. Inf. Comput., 89(1):35-46, November 1990.

Abstract

Abstract is missing.