Actions for Combinatory logic : pure, applied and typed

Email RIS file
Bookmark
Report an Issue

Combinatory logic : pure, applied and typed / Katalin Bimbó

Author
Bimbó, Katalin, 1963-
Published
Boca Raton, FL : CRC Press, [2012]
Copyright Date
©2012
Physical Description
xi, 345 pages : illustrations ; 25 cm.

Availability

Browse Nearby on Shelf
I Want It
I Want It

Finding items...

Series
Contents
Machine generated contents note: 1.1.Objects, combinators and terms -- 1.2.Various kinds of combinators -- 1.3.Reductions and combinatory bases -- 2.1.Church[–]Rosser property -- 2.2.Normal forms and consistency -- 2.3.Fixed points -- 2.4.Second fixed point theorem and undecidability -- 3.1.Primitive and partial recursive functions -- 3.2.First modeling of partial recursive functions in CL -- 3.3.Second modeling of partial recursive functions in CL -- 3.4.Undecidability of weak equality -- 4.1.λ-calculi: Λ -- 4.2.Combinators in Λ -- 4.3.Back and forth between CL and Λ -- 5.1.Inequational calculi -- 5.2.Equational calculi -- 6.1.Term models -- 6.2.Operational models -- 6.3.Encoding functions by numbers -- 6.4.Domains -- 6.5.Models for typed CL -- 6.6.Relational models -- 7.1.Dual combinators -- 7.2.Symmetric combinators -- 7.3.Structurally free logics -- 8.1.Illative combinatory logic -- 8.2.Elimination of bound variables -- 9.1.Simply typed combinatory logic -- 9.2.Intersection types for combinators -- A.1.Elements of combinatory logic -- A.2.Main theorems -- A.3.Recursive functions and arithmetic -- A.4.Connections to λ-calculi -- A.5.(In)equational combinatory logic -- A.6.Models -- A.7.Dual and symmetric combinatory logic -- A.8.Applied combinatory logic -- A.9.Typed combinatory logic.
Subject(s)
ISBN
9781439800003 (hardcover : alk. paper)
1439800006 (hardcover : alk. paper)
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 7287087