Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting.
 

Summary: Replace this file with prentcsmacro.sty for your meeting,
or with entcsmacro.sty for your meeting.
Both can be found at the ENTCS Macro Home Page.
Comparing Calculi of Explicit Substitutions
with Eta-reduction
Mauricio Ayala-Rinc´on 1,3
Departamento de Matem´atica
Universidade de Bras´ilia
Bras´ilia D.F., Brasil
Fl´avio Leonardo Cavalcanti de Moura 2,4
Departamento de Matem´atica
Universidade de Bras´ilia
Bras´ilia D.F., Brasil
Fairouz Kamareddine 5
Computing and Electrical Engineering
Heriot-Watt University
Edinburgh, Scotland
Abstract
The past decade has seen an explosion of work on calculi of explicit substitutions.
Numerous work has illustrated the usefulness of these calculi for practical notions

  

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

 

Collections: Mathematics