Skip to search formSkip to main contentSkip to account menu

SKI combinator calculus

Known as: Ski (disambiguation), SK combinator calculus, SKI calculus 
SKI combinator calculus is a combinatory logic, a computational system that may be perceived as a reduced version of untyped lambda calculus. It can… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
AlgorithmBinary treeCategorical abstract machineCoders at Work: Reflections on the Craft of Programming

Broader (1)

Lambda calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
The Potential of the Synergistic Use of Passive and Active Remote Sensing Measurements for the Validation of a Regional Dust Model
A long-lasting Saharan dust event affected Eu- rope on 18-23 May 2008. Dust was present in the free troposphere over Greece, in… 
Highly Cited
2008
Highly Cited
2008
Three-flavour neutrino oscillation update and comments on possible hints for a non-zero $\theta_{13}$
We provide a short summary of three-flavour neutrino oscillation parameters as determined from a global fit to 2008 data, and we… 
Highly Cited
2007
Highly Cited
2007
Effect of Co and O defects on the magnetism in Co-doped ZnO: Experiment and theory
The electronic structure of ${\mathrm{Zn}}_{1\ensuremath{-}x}{\mathrm{Co}}_{x}\mathrm{O}$ ($x=0.02$, 0.06, and 0.10) diluted… 
Highly Cited
2005
Highly Cited
2005
Spectral kurtosis optimization for rolling element bearings
Spectral kurtosis (SK) represents a valuable tool for extracting transients buried in noise, which makes it very powerful for the… 
Highly Cited
2002
Highly Cited
2002
Synergies between the first-generation JHF-SK and NuMI superbeam experiments ∗
Highly Cited
1999
Highly Cited
1999
SELF-ORGANIZED REPLICATION OF 3D COHERENT ISLAND SIZE AND SHAPE IN MULTILAYER HETEROEPITAXIAL FILMS
Advances in modern science and technology continue to make electronic and optoelectronic devices faster and smaller. As its size… 
Highly Cited
1999
Highly Cited
1999
Canavier Neurons : A Computational Study Burst Firing Oscillations in Midbrain Dopaminergic Calcium Dynamics Underlying Pacemaker-Like and
Calcium dynamics underlying pacemaker-like and burst firing oscillations in midbrain dopaminergic neurons: a computational study… 
Highly Cited
1999
Highly Cited
1999
Trophic Mass-Balance Model of Alaska's Prince William Sound Ecosystem, for the Post-Spill Period 1994-1996
Information about the ecological components of Alaska's Prince William Sound (PWS) has increased considerably since the 1989… 
Highly Cited
1972
Highly Cited
1972
New australopithecine endocast, SK 1585, from Swartkrans, South Africa
The new SK 1585 endocast, found by Dr. Brain at Swartkrans, 1966, is that of a robust australopithecine, matching the endocast of… 
Highly Cited
1972
Highly Cited
1972
Strictly regular elements in Freudenthal triple systems
Strictly regular elements play a role in the structure theory of Freudenthal triple systems analogous to that played by… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)