Explicit Substitutions

Explicit Substitutions,10.1017/S0956796800000186,Journal of Functional Programming,Martín Abadi,Luca Cardelli,Pierre-louis Curien,Jean-jacques Lévy

Explicit Substitutions   (Citations: 304)
BibTex | RIS | RefWorks Download
The ##-calculus is a re#nement of the #-calculus where substitutionsare manipulated explicitly. The ##-calculus provides a settingfor studying the theory of substitutions, with pleasant mathematicalproperties. It is also a useful bridge between the classical #-calculusand concrete implementations.#Digital Equipment Corporation, Systems Research Center.yEcole Normale Sup#erieure; part of this work was completed while at Digital EquipmentCorporation, Systems Research Center.z...
Journal: Journal of Functional Programming - JFP , vol. 1, no. 4, pp. 375-416, 1991
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: