# Combinatory logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- 2013

A theory of composition synthesis based on inhabitation in combinatory logic is described and illustrated with examples… (More)

Is this relevant?

2013

2013

- J. Symb. Log.
- 2013

We show a model construction for a system of higher-order illative combinatory logic Iω, thus establishing its strong consistency… (More)

Is this relevant?

2012

2012

- CSL
- 2012

In combinatory logic one usually assumes a fixed set of basic combinators (axiom schemes), usually K and S. In this setting the… (More)

Is this relevant?

2012

2012

- 2012

In combinatory logic one usually assumes a fixed set of basic combinators (axiom schemes), usually K and S. In this setting the… (More)

Is this relevant?

2011

2011

- TLCA
- 2011

Combinatory logic is based on modus ponens and a schematic (polymorphic) interpretation of axioms. In this paper we propose to… (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- 2010

One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Mathematical Structures in Computer Science
- 2002

We present an axiomatic framework for Girard’s Geometry of Interaction, based on the notion of linear combinatory algebra. We… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- Inf. Comput.
- 1991

II. Extensions of CPDL, or Applications of the Method. 1. Three simple extensions. 1.1. Determinism: CDPL. 1.2. Limited finite… (More)

Is this relevant?

1986

1986

- Journal of Automated Reasoning
- 1986

Smullyan successfully poses some fairly deep theorems of combinatory logic in terms of these forests of birds. One of the authors… (More)

Is this relevant?