Explicit Substitutions and All That

Explicit Substitutions and All That (2000)

by Mauricio Ayala-Rincón , Cesar Muñoz

Citations:

2 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Explicit Substitutions and All That	user correction - Legacy Corrections
AUTHOR NAME	Mauricio Ayala-Rincón	user correction - Legacy Corrections
AUTHOR NAME	Cesar Muñoz	user correction - Legacy Corrections
ABSTRACT	Explicit substitution calculi are extensions of the lambda-calculus where the substitution mechanism is internalized into the theory. This feature makes them suitable for implementation and theoretical study of logic based tools as strongly typed programming languages and proof assistant systems. In this paper we explore new developments on two of the most successful styles of explicit substitution calculi: the lambdasigma- and lambda_se-calculi.	user correction - Legacy Corrections
YEAR	2000	user correction - Legacy Corrections
CITATIONS	59 found	ParsCit 1.0