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
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… 
2005
2005
Solving the neutrino parameter degeneracy by measuring the T2K off-axis beam in Korea
Highly Cited
2002
Highly Cited
2002
Synergies between the first-generation JHF-SK and NuMI superbeam experiments ∗
2001
2001
Efficient Conditioning of 3D Fine-Scale Reservoir Model To Multiphase Production Data Using Streamline-Based Coarse-Scale Inversion and Geostatistical Downscaling
In addition to seismic and well constraints, production data must be integrated into geostatistical reservoir models for reliable… 
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
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
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
1996
Highly Cited
1996
Interferon-lnduced Vitiligo in a Patient with Chronic Viral Hepatitis C Infection
Vitiligo is an autoimmune disease characterized by depigmentation of the skin due to destruction of melanocytes. Interferons have… 
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… 
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)