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.
2009
2009
Economywide Impact of Avian Flu in Ghana: A Dynamic CGE Model Analysis
"We use a dynamic CGE model to quantitatively assess the economywide impact of HPAI in Ghana. The likely effect of an avian flu… 
2007
2007
Component Contracts in Service-Oriented Architectures
For SOAs to reach their full potential, the basic interoperable framework must accommodate meaningful quality-of-service… 
2006
2006
Age-Related Differences in the Use of Phonology to Facilitate Implicit and Explicit Memory for New Associations
Two experiments tested young and older adults’ retrieval of episodic memories under intentional (i.e., explicit) and incidental… 
2002
2002
Steady-state Mantle-Melt Interactions in One Dimension: II. Thermal Interactions and Irreversible Terms
Progress in development of thermodynamically based models of silicate equilibria with explicit entropy budgets has motivated a… 
Review
2001
Review
2001
The rewriting calculus - Part II
The ρ-calculus integrates in a uniform and simple setting first-order rewriting, λ-calculus and nondeterministic computations… 
2000
2000
Trading and Negotiating Stream Bindings
Distributed multimedia information systems require a range of different interaction styles ranging from simple remote operation… 
1995
1995
Preservation of strong normalisation for explicit substitution
Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of Dynamic Leader Election Protocols… 
1992
1992
A useful lambda notation
Lambda Calculus is fundamental for the foundation of Logic, Mathematics, Computer and Cognitive Science. This makes it… 
Highly Cited
1991
Highly Cited
1991
Assessing the Reliability of 5S rRNA Sequence Data for Phylogenetic Analysis in Green Plants
Elimination of compensating substitutions in portions of 5S rRNA sequences that exhibit secondary structure and scoring of common… 
1979
1979
Interspecific hybrids between helianthus PetiolarisNutt. and H. Annuus L.: Effect of backcrossing on meiosis
SummaryInterspecific substitutions of the nucleus of Helianthus annuus (2n=34) into the cytoplasm of H. petiolaris (2n=34) were… 
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)