Combinatory logic : pure, applied and typed /: pure, applied and typed. (©2012)

• Record Type: Book
• Further Information: Note: Katalin Bimbó.
• Other Names: Bimbó, Katalin, 1963-
• Contents: 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
• Publisher Details: Boca Raton, FL : CRC Press
• Publication Date: 2012
• Copyright Date: 2012
• Extent: 1 online resource (xi, 345 pages), illustrations
• Subjects: 511.3; Combinatory logic; Combinatory logic; MATHEMATICS -- Infinity; MATHEMATICS -- Logic; Combinatory logic; Combinatory logic; Electronic books
• Languages: English
• ISBNs: 9781439800010; 1439800014
• Related ISBNs: 9781439800003; 1439800006
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: 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).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.