Title: The Combinatory Programme (Progress in Theoretical Computer Science)
First published: November 1, 1994
Subjects: Combinatory logic, Combinatorial analysis