The Library of Trinity College Dublin : Classic Catalogue
Trinity College Library Dublin
Start Over Add to My Lists Export MARC Display Return To Browse Another Search
     
Result page: Previous Record Next Record
Author Bimbó, Katalin, 1963-
Title Combinatory logic : pure, applied and typed / Katalin Bimbó.
Publisher Boca Raton, FL : CRC Press, ©2012.
Description 1 online resource (xi, 345 pages) : illustrations.

More Information
Series Discrete mathematics and its applications
Discrete mathematics and its applications.
Bibliography Includes bibliographical references and index.
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;
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
Note Print version record.
Subject Combinatory logic.
Combinatory logic.
MATHEMATICS -- Infinity. bisacsh
MATHEMATICS -- Logic. bisacsh
Combinatory logic. fast
Combinatory logic. local
Genre/Form Electronic books.
UK eLD e-books IeDuTC
ISBN 9781439800010 (electronic bk.)
1439800014 (electronic bk.)
9781439800003 (hardcover ; alk. paper)
1439800006 (hardcover ; alk. paper)