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 calculi1
 

Summary: SUBSEXPL: a tool for simulating and
comparing explicit substitutions calculi1
F. L. C. de Moura * -- M. Ayala-Rincón * -- F. Kamareddine**
1 Work supported by funds from CNPq (CT-INFO) 50.6598/04-7.
Supported by the Brazilian Ministry Educational Council CAPES.
Partially supported by the Brazilian Research Council CNPq.
* Departamento de Matemática, Universidade de Brasília
70900-910 Brasília D.F., Brasil
{
¢¡¤£¦¥¨§©¨©¢££¦¢£ ¡¤£
}!
" #%$&#
** School of Mathematical and Computer Sciences
Heriot-Watt University, Edinburgh EH14 4AS, Scotland
£'§¢©¦(
!
¨£0)¤12$&3 45$6£0)7$89
ABSTRACT. We present the system SUBSEXPL used for simulating and comparing explicit sub-
stitutions calculi. The system allows the manipulation of expressions of the -calculus and of
three different styles of explicit substitutions: the , the se and the suspension calculus. A

  

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

 

Collections: Mathematics