Explore Books on
combinatory logic

[Lambda] - calculus and computer science theory

By Symposium on [Lambda]-Calculus and Computer Science Theory (1975 Rome)

The Combinatory Programme (Progress in Theoretical Computer Science)

By Erwin Engeler

Algebra of proofs

By M. E. Szabo

Studies in illative combinatory logic

By J. P. Seldin

Coding, cryptography, and combinatorics

By Workshop on Coding, Cryptography, and Combinatorics (2003 Huangshan Shi, China)

Set theory based on combinatory logic

By Maarten Wicher Visser Bunder

Lambda-calculus models of programming languages

By James Hiram Morris

Casebook in correctional casework

By Council on Social Work Education. Committee on Corrections.

Opere lulliane

By Giordano Bruno

Abstract automath

By A. Rezus

Models of the lambda calculus

By C. P. J. Koymans

[Lambda]-calculus and combinators

By J. Roger Hindley

Combinatory semantics

By Jerzy Pogonowski

Lambda-calculus, combinators, and functional programming

By György E. Révész

Two-level functional languages

By Flemming Nielson

A bibliography of lambda-calculi, combinatory logics and related topics

By A. Rezus

Combinators and functional programming languages

By Guy Cousineau

Studies in Logic and the Foundations of Mathematics, 65

By Haskell B. Curry

Kombinatornye prostranstva i rekursivnostʹ v nikh

By Dimitŭr Genchev Skordev

Prädikatenlogik ohne gebundene Variablen

By Jürgen Bartnick

Combinators, -terms and proof theory

By Sören Stenlund

Introduction to combinatory logic

By Sören Stenlund

On the interpretation of terms without a normal form

By H. P. Barendregt

Some extensional term models for combinatory logics and [lambda]-calculi

By H. P. Barendregt