The Combinatory Programme (Progress in Theoretical Computer Science)