Combinatory Logic —— Pure, Applied and Typed

----- 组合逻辑：完全、应用及类型化

ISBN: 9781439800003 出版年：2011 页码：348 Bimbo, Katalin CRC Press

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