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.
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
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… 
1989
1989
Energy barriers in SK-spin glass model
The height of barriers separating metastable states is studied for the infinite range Ising spin-glass model. A barrier… 
Highly Cited
1978
Highly Cited
1978
Phosphorus loadings to lakes and some of their responses. Part 2. Regression models of summer phytoplankton standing crops, winter total P, and transparency of New York lakes with known phosphorus…
An interrelated series of regression equations is derived to define the response of lake ecosystems to mixed zone phosphorus… 
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)