Sciweavers

RTA
2007
Springer
14 years 5 months ago
Delayed Substitutions
Abstract. This paper investigates an approach to substitution alternative to the implicit treatment of the λ-calculus and the explicit treatment of explicit substitution calculi. ...
José Espírito Santo
RTA
2007
Springer
14 years 5 months ago
Random Descent
Vincent van Oostrom
RTA
2007
Springer
14 years 5 months ago
The Termination Competition
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
Claude Marché, Hans Zantema
RTA
2007
Springer
14 years 5 months ago
Sequence Unification Through Currying
Temur Kutsia, Jordi Levy, Mateu Villaret
RTA
2007
Springer
14 years 5 months ago
Proving Termination of Rewrite Systems Using Bounds
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
Martin Korp, Aart Middeldorp
RTA
2007
Springer
14 years 5 months ago
Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi
We present a method of lifting to explicit substitution calculi some characterizations of the strongly normalizing terms of λ-calculus by means of intersection type systems. The m...
Kentaro Kikuchi
RTA
2007
Springer
14 years 5 months ago
Adjunction for Garbage Collection with Application to Graph Rewriting
We investigate garbage collection of unreachable parts of rooted graphs from a categorical point of view. First, we define this task as the right adjoint of an inclusion functor. ...
Dominique Duval, Rachid Echahed, Fréd&eacut...