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
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… 
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… 
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… 
1980
1980
Automated directory listing retrieval system based on isolated word recognition
Automated directory listing retrieval has been a goal of the Bell System and others for a long time. Recent attempts at… 
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)