The Resource Combinatory logic : pure, applied and typed, Katalin Bimbó
Combinatory logic : pure, applied and typed, Katalin Bimbó
Resource Information
The item Combinatory logic : pure, applied and typed, Katalin Bimbó represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Combinatory logic : pure, applied and typed, Katalin Bimbó represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
 Summary
 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 four decades. Using a readerfriendly style, the author presents the most uptodate research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and wellresearched connections between combinatory logic and lambda
 Language
 eng
 Extent
 1 online resource (xi, 345 pages)
 Contents

 Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds of combinators; Reductions and combinatory bases; Main theorems; ChurchRosser 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 lcalculi; lcalculi: 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 lcalculi; (In)equational combinatory logic; Models; Dual and symmetric combinatory logic; Applied combinatory logic; Typed combinatory logic; Bibliography; List of Symbols; Index
 Isbn
 9781439800010
 Label
 Combinatory logic : pure, applied and typed
 Title
 Combinatory logic
 Title remainder
 pure, applied and typed
 Statement of responsibility
 Katalin Bimbó
 Language
 eng
 Summary
 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 four decades. Using a readerfriendly style, the author presents the most uptodate research studies. She includes an introduction to combinatory logic before progressing to its central theorems and proofs. The text makes intelligent and wellresearched connections between combinatory logic and lambda
 Cataloging source
 CUS
 http://library.link/vocab/creatorDate
 1963
 http://library.link/vocab/creatorName
 Bimbó, Katalin
 Dewey number
 511.3
 Illustrations
 illustrations
 Index
 index present
 LC call number
 QA9.5
 LC item number
 .B56 2012eb
 Literary form
 non fiction
 Nature of contents

 dictionaries
 bibliography
 Series statement
 Discrete mathematics and its applications
 http://library.link/vocab/subjectName

 Combinatory logic
 MATHEMATICS
 MATHEMATICS
 Combinatory logic
 Label
 Combinatory logic : pure, applied and typed, Katalin Bimbó
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds of combinators; Reductions and combinatory bases; Main theorems; ChurchRosser 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 lcalculi; lcalculi: 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 lcalculi; (In)equational combinatory logic; Models; Dual and symmetric combinatory logic; Applied combinatory logic; Typed combinatory logic; Bibliography; List of Symbols; Index
 Control code
 756664691
 Extent
 1 online resource (xi, 345 pages)
 Form of item
 online
 Isbn
 9781439800010
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations
 http://library.link/vocab/ext/overdrive/overdriveId
 cl0500000324
 Specific material designation
 remote
 System control number
 (OCoLC)756664691
 Label
 Combinatory logic : pure, applied and typed, Katalin Bimbó
 Bibliography note
 Includes bibliographical references and index
 Carrier category
 online resource
 Carrier category code

 cr
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Contents
 Preface; Elements of combinatory logic ; Objects, combinators and terms; Various kinds of combinators; Reductions and combinatory bases; Main theorems; ChurchRosser 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 lcalculi; lcalculi: 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 lcalculi; (In)equational combinatory logic; Models; Dual and symmetric combinatory logic; Applied combinatory logic; Typed combinatory logic; Bibliography; List of Symbols; Index
 Control code
 756664691
 Extent
 1 online resource (xi, 345 pages)
 Form of item
 online
 Isbn
 9781439800010
 Media category
 computer
 Media MARC source
 rdamedia
 Media type code

 c
 Other physical details
 illustrations
 http://library.link/vocab/ext/overdrive/overdriveId
 cl0500000324
 Specific material designation
 remote
 System control number
 (OCoLC)756664691
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Combinatorylogicpureappliedandtyped/bWI0KXJku9Y/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Combinatorylogicpureappliedandtyped/bWI0KXJku9Y/">Combinatory logic : pure, applied and typed, Katalin Bimbó</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item Combinatory logic : pure, applied and typed, Katalin Bimbó
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Combinatorylogicpureappliedandtyped/bWI0KXJku9Y/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Combinatorylogicpureappliedandtyped/bWI0KXJku9Y/">Combinatory logic : pure, applied and typed, Katalin Bimbó</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>