Combinatory logic pure, applied and typed
Combinatory logic is one of the most versatile areas within logic that is tied to parts of philosophical, mathematical, and computational logic. Functioning as a comprehensive source for current developments of combinatory logic, this book is the only one of its kind to cover results of the last fou...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Boca Raton, FL
CRC Press
2012
|
Series: | Discrete mathematics and its applications
|
Subjects: | |
Online Access: | |
Collection: | O'Reilly - Collection details see MPG.ReNa |
Table of 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
- Includes bibliographical references and index