Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
SUBSEXPL: A Tool for Simulating and Comparing Explicit Substitutions Calculi
 

Summary: SUBSEXPL: A Tool for Simulating and
Comparing Explicit Substitutions Calculi
Fl´avio L. C. de Moura 1
and Mauricio Ayala-Rinc´on 1
and Fairouz
Kamareddine2
1
Departamento de Matem´atica, Universidade de Bras´ilia, Bras´ilia D.F., Brasil.
flavio@mat.unb.br, ayala@mat.unb.br
2
School of Mathematical and Computer Sciences, Heriot-Watt University,
Edinburgh, Scotland. fairouz@macs.hw.ac.uk
Abstract. We present the system SUBSEXPL used for simulating and
comparing explicit substitutions calculi. The system allows the manip-
ulation of expressions of the -calculus and of three different styles of
explicit substitutions: the , the se and the suspension calculus. Im-
plementations of the -reduction are provided for each calculi. Other
explicit substitutions calculi can be incorporated into the system easily
due to its modular structure. Its applications include: the visualisation
of the contractions of the -calculus, and of guided one-step reductions

  

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