Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Combinatory logic

Known as: Combinatory algebra, S (disambiguation), S combinator 
Combinatory logic is a notation to eliminate the need for quantified variables in mathematical logic. It was introduced by Moses Schönfinkel and… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2006
2006
  • N. Krupski
  • Ann. Pure Appl. Log.
  • 2006
  • Corpus ID: 270579
We study Artemov’s Reflective Combinatory Logic RCL→. We provide the explicit definition of types for RCL→ and prove that every… Expand
Highly Cited
2002
Highly Cited
2002
We present an axiomatic framework for Girard's Geometry of Interaction based on the notion of linear combinatory algebra. We give… Expand
Highly Cited
1995
Highly Cited
1995
Highly Cited
1992
Highly Cited
1992
We present the a-calculus, a calculus of communicating systems in which one can naturally express processes which have changing… Expand
  • figure 1
  • figure 2
  • figure 3
Highly Cited
1991
Highly Cited
1991
We propose a refinement of Kripke modal logic, and in particular of PDL (propostional dynamic logic) 
Highly Cited
1984
Highly Cited
1984
Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided. Four… Expand
  • table I
  • table III
  • table V
  • table VI
  • table VII
Highly Cited
1983
Highly Cited
1983
  • R. Milner
  • Theor. Comput. Sci.
  • 1983
  • Corpus ID: 12579566
Abstract A calculus for distributed computation is studied, based upon four combinators. A central idea is an Abelian group of… Expand
  • table 1
Review
1981
Review
1981
  • B. Anderson
  • IEEE Transactions on Acoustics, Speech, and…
  • 1981
  • Corpus ID: 29687680
Digital Control Of Dynamic Systems This well-respected, market-leading text discusses the use of digital computers in the real… Expand
Highly Cited
1969
Highly Cited
1969
One of the aims of combinatory logic is to study the most basic properties of functions and other concepts, with as few… Expand