3 search results - page 1 / 1 » Comparing Calculi of Explicit Substitutions with Eta-reducti... |
ENTCS
2002
13 years 4 months ago
2002
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 like the im...
JANCL
2006
13 years 4 months ago
2006
ENTCS
2011
12 years 11 months ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simpliļ¬cations and normalisations in three important calculi of explicit substitutions and has been applied to...