Summary: Rewriting, Explicit Substitutions and Normalisation
XXXVI Escola de Ver~ao do MAT
Universidade de Brasilia
Part 1/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 / 73
Applications
Operational
Semantics
Mathematical
Specification
Languages
Resolution
Transformation
Program
Algebraic
Security

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

Collections: Mathematics