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.
2012
2012
Phase stability, electrochemical stability and ionic conductivity of the Li[subscript 10±1]MP[subscript 2]X[subscript 12] (M = Ge, Si, Sn, Al or P, and X = O, S or Se) family of superionic conductors
We present an investigation of the phase stability, electrochemical stability and Li+ conductivity in the Li10±1MP2X12 (M = Ge… 
2009
2009
Easing Team Politics in Agile Usability: A Concept Mapping Approach
Team politics complicate software projects. They cause internal conflicts that can not only cost a software team time and money… 
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… 
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… 
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… 
1981
1981
Prostitution and Victorian social reform
medicine, because they are "personal biographies". The "ideas and methods" of these civil servants were part of the lives of real… 
Review
1962
Review
1962
Adsorption of cesium on clay minerals
A study was made of the exchange adsorption of cesium on the clay minerals kaolinite, halloysite, montmorillonite, and "illite… 
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)