Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,229,882 papers from all fields of science
Search
Sign In
Create Free Account
Combinatory logic
Known as:
Combinatory algebra
, S (disambiguation)
, S combinator
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
APL
Applicative computing systems
Beta normal form
Binary combinatory logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2018
Review
2018
Combining Neighborhoods into Local Search Strategies
Renaud De Landtsheer
,
Yoann Guyot
,
Gustavo Ospina
,
C. Ponsard
2018
Corpus ID: 65436333
This paper presents a declarative framework for defining local search procedures. It proceeds by combining neighborhoods by means…
Expand
2017
2017
A Security Audit of the OpenPGP Format
Alessandro Barenghi
,
Nicholas Mainardi
,
Gerardo Pelosi
14th International Symposium on Pervasive Systems…
2017
Corpus ID: 6533391
For over two decades the OpenPGP format has provided the mainstay of email confidentiality and authenticity, and is currently…
Expand
2005
2005
Hypothesis based vehicle detection for increased simplicity in multi-sensor ACC
B. Alefs
,
David Schreiber
,
M. Clabian
IEEE Proceedings. Intelligent Vehicles Symposium…
2005
Corpus ID: 14316577
Systems for adaptive cruise control (ACC) become increasingly complex in case multiple sensors are used. The search space…
Expand
2002
2002
Gender in the South Italian Neolithic: a combinatory approach
R. Whitehouse
2002
Corpus ID: 128039126
2002
2002
Creating High Confidence in a Separation Kernel
W. Martin
,
P. White
,
F. S. Taylor
International Conference on Automated Software…
2002
Corpus ID: 7524945
Separation of processes is the foundation for security and safety properties of systems. This paper reports on a collaborative…
Expand
Review
1999
Review
1999
Substructural logics, combinatory logic, and lambda-calculus
J. Dunn
,
K. Bimbó
1999
Corpus ID: 124713160
The dissertation deals with problems in "logic", more precisely, it deals with particular formal systems aiming at capturing…
Expand
1994
1994
4 . 4 Programming in Timed Concurrent Constraint Languages
V. Saraswat
,
R. Jagadeesan
,
V. Gupta
1994
Corpus ID: 15183365
The areas of Qualitative Reasoning about physical systems (Weld and de Kleer 1989), reasoning about action and state change…
Expand
1991
1991
The Church-rosser theorem in orthogonal combinatory reduction systems
Z. Khasidashvili
1991
Corpus ID: 126042406
We introduce a notion of Combinatory Reduction Systems (CRSs) by extending the notion of Term Rewriting Systems (TRSs) with…
Expand
1990
1990
Mathematics as a Management Tool: Proof Rules for Promotion
J. Woodcock
1990
Corpus ID: 60873793
We consider how the Z notation is used to produce structured specifications. In particular, we consider the technique known as…
Expand
1985
1985
Typed Categorial Combinatory Logic
P. Curien
TAPSOFT, Vol.1
1985
Corpus ID: 45585904
The subject of the paper is the connection between the typed λ-calculus and the cartesian closed categories, pointed out by…
Expand