Search result

Abstract: Introduction - Formal systems - Epitheory - Lambda-Conversion - The Church-Rosser theorem - Intuitive theory of combinators - Synthetic theory of combinators - Logistic foundations - Introduction to illative combinatory logic - The basic theory of functionality - The stronger theories of functionality.