ABSTRACT

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 reader-friendly style, the auth

chapter 1|28 pages

Elements of combinatory logic

chapter 2|24 pages

Main theorems

chapter 3|40 pages

Recursive functions and arithmetic

chapter 4|28 pages

Connections to λ -calculi

chapter 5|12 pages

(In)equational combinatory logic

chapter 6|46 pages

Models

chapter 7|42 pages

Dual and symmetric combinatory logics

chapter 8|16 pages

Applied combinatory logic

chapter 9|38 pages

Typed combinatory logic