Skip to search formSkip to main contentSkip to account menu

Explicit substitution

Known as: Λσ calculus, Λσ-calculus 
In computer science, lambda calculi are said to have explicit substitutions if they pay special attention to the formalization of the process of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

15 relations
Abstract machineAutomathCategorical abstract machineCombinatory logic

Broader (3)

Lambda calculusOperational semanticsSubstitution (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2011
Review
2011
Investigation of High School Students’ Online Science Information Searching Performance: The Role of Implicit and Explicit Strategies
Due to a growing trend of exploring scientific knowledge on the Web, a number of studies have been conducted to highlight… 
Highly Cited
2004
Highly Cited
2004
Confirmation-Guided Discovery of First-Order Rules with Tertius
This paper deals with learning first-order logic rules from data lacking an explicit classification predicate. Consequently, the… 
Highly Cited
2002
Highly Cited
2002
BOND-VALENCE CONSTRAINTS ON THE CHEMICAL COMPOSITION OF TOURMALINE
La theorie des valences de liaisons est utilisee pour un examen de la stabilite possible de poles pour la structure de la… 
Highly Cited
2001
Highly Cited
2001
Rewriting Logic as a Unifying Framework for Petri Nets
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition… 
Highly Cited
2001
Highly Cited
2001
Parasite-responsive IgSF members in the snail Biomphalaria glabrata: characterization of novel genes with tandemly arranged IgSF domains and a fibrinogen domain
Abstract. Two novel genes of the immunoglobulin superfamily (IgSF), FREP3 and FREP7, are reported from the snail Biomphalaria… 
Highly Cited
1999
Highly Cited
1999
Towards a classification of Euler–Kirchhoff filaments
Euler–Kirchhoff filaments are solutions of the static Kirchhoff equations for elastic rods with circular cross sections. These… 
Highly Cited
1998
Highly Cited
1998
Patterns of Genome Organization in Bacteria
Frederick R. Blattner et al . ([1][1]), when describing the complete sequence of the Escherichia coli chromosome, correlated an… 
Highly Cited
1998
Highly Cited
1998
PRACTICAL HANDBOOK of Spatial Statistics
Introduction: The Need for Spatial Statistics, D.A. Griffith Components of Geographic Information and Analysis Background: The… 
Highly Cited
1995
Highly Cited
1995
Signal transduction by the α6β4 integrin: distinct β4 subunit sites mediate recruitment of Shc/Grb2 and association with the cytoskeleton of hemidesmosomes
The EMBO Journal , 14 , 4470–4481, 1995 The α6β4 integrin is a major receptor for the basement membrane component laminin 5… 
Highly Cited
1988
Highly Cited
1988
An internalist externalism
In this paper I will explain, and at least begin to defend, the particular blend of internalism and externalism in my view 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)