Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Rewriting, Explicit Substitutions and Normalisation XXXVI Escola de Ver~ao do MAT
 

Summary: Rewriting, Explicit Substitutions and Normalisation
XXXVI Escola de Ver~ao do MAT
Universidade de Brasilia
Part 3/3
Eduardo Bonelli
LIFIA (Fac. de Inform´atica, UNLP, Arg.) and CONICET
eduardo@lifia.info.unlp.edu.ar
February, 2006
Eduardo Bonelli (LIFIA,CONICET) Rewriting, Explicit Substitutions and Normalisation February, 2006 1 / 44
Structure of Today's Talk
1 Explicit Substitutions
2 Normalisation for Calculi with ES
3 Additional Problems in Explicit Substitutions
Eduardo Bonelli (LIFIA,CONICET) Rewriting, Explicit Substitutions and Normalisation February, 2006 2 / 44
Substitution: A critique
M{x/N}
Complex
Requires traversing the structure of M
Requires renaming of bound variables in order to avoid variable capture
May create multiple copies of N

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics