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.
2016
2016
Some Discussions on a Kind of Improper Integrals
In the paper, the improper integral is discussed, some explicit formulas for special cases of I(a,b;λ,η) are presented, and… 
2014
2014
Internalization of extensional equality
We give a type system in which the universe of types is closed by reflection into it of the logical relation defined externally… 
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… 
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… 
2001
2001
Unification via the lambda se-Style of Explicit Substitutions
A unification method based on the λs e -style of explicit substitution is proposed. This method together with appropriate… 
1997
1997
Explicit Strong Solutions of SPDE’s with Applications to Non-Linear Filtering
AbstractA differential calculus for random fields is developed and combined with the S-transform to obtain an explicit strong… 
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… 
1990
1990
CLG(n): Constraint Logic Grammars
CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for… 
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)