Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic.

Rick Statman

Browse the full LFCS paper archive.