Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds of combinators; Reductions and combinatory bases; Main theorems; Church–Rosser property; Normal forms and consistency; Fixed points; Second fixed point theorem and undecidability; Recursive functions and arithmetic; Primitive and partial recursive functions; First modeling of partial recursive functions in CL; Second modeling of partial recursive functions in CL; Undecidability of weak equality; Connections to l-calculi; l-calculi: L; Combinators in L; Back and forth between CL and L; (In)equational combinatory logic; Inequational calculi; Equational calculi; Models; Term models; Operational models; Encoding functions by numbers; Domains; Models for typed CL; Relational models; Dual and symmetric combinatory logics ; Dual combinators; Symmetric combinators; Structurally free logics; Applied combinatory logic ; Illative combinatory logic; Elimination of bound variables; Typed combinatory logic; Simply typed combinatory logic; Intersection types for combinators; Appendix; Elements of combinatory logic; Main theorems; Recursive functions and arithmetic; Connections to l-calculi; (In)equational combinatory logic; Models; Dual and symmetric combinatory logic; Applied combinatory logic; Typed combinatory logic; Bibliography; List of Symbols; Index;
Access
Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK). Uk
Terms Of Use
Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force. Uk