Add to ORKGbloo~win.tue.nl· We introduce a calculus of explicit substitutions and prove that terms that are strongly normalis-ing with respect to f-reduction are also strongly normalising with respect to explicit substitutio
Explicit substitutions have been introduced as a refinment of the lambda-calculus - the usual formal...
Abstract. The aim of this paper is to present the s-calculus which is a very simple -calculus with e...
The past decade has given rise to a number of explicit substitution calculi. An important question o...
In this paper, we present an attempt to build a calculus of explicit substitution expected to be con...
Explicit substitutions were proposed by Abadi, Cardelli, Curien, Hardin and Lévy to internalise subs...
. This paper is part of a general programme of treating explicit substitutions as the primary -calcu...
We present a somewhat general technique to derive the strong normalisation of some specific terms of...
(eng) This paper is part of a general programme of treating explicit substitutions as the primary $\...
We use the Recursive Path Ordering (RPO) technique of semantic labelling to show the Preservation of...
Extending the λ-calculus with either explicit substitution or generalised reduction has been the sub...
We use the recursive path ordering (RPO) technique of semantic labelling to show the preservation of...
Extending the -calculus with either explicit substitution or generalised reduction has been the subj...
Abstract. The -calculus is a -calculus with a control-like operator whose reduction rules are closel...
Abstract. Extending the -calculus with either explicit substitution or generalised reduction has bee...
International audienceSince Melliès has shown that $\lambda\sigma$ (a calculus of explicit substitut...
Explicit substitutions have been introduced as a refinment of the lambda-calculus - the usual formal...
Abstract. The aim of this paper is to present the s-calculus which is a very simple -calculus with e...
The past decade has given rise to a number of explicit substitution calculi. An important question o...
In this paper, we present an attempt to build a calculus of explicit substitution expected to be con...
Explicit substitutions were proposed by Abadi, Cardelli, Curien, Hardin and Lévy to internalise subs...
. This paper is part of a general programme of treating explicit substitutions as the primary -calcu...
We present a somewhat general technique to derive the strong normalisation of some specific terms of...
(eng) This paper is part of a general programme of treating explicit substitutions as the primary $\...
We use the Recursive Path Ordering (RPO) technique of semantic labelling to show the Preservation of...
Extending the λ-calculus with either explicit substitution or generalised reduction has been the sub...
We use the recursive path ordering (RPO) technique of semantic labelling to show the preservation of...
Extending the -calculus with either explicit substitution or generalised reduction has been the subj...
Abstract. The -calculus is a -calculus with a control-like operator whose reduction rules are closel...
Abstract. Extending the -calculus with either explicit substitution or generalised reduction has bee...
International audienceSince Melliès has shown that $\lambda\sigma$ (a calculus of explicit substitut...
Explicit substitutions have been introduced as a refinment of the lambda-calculus - the usual formal...
Abstract. The aim of this paper is to present the s-calculus which is a very simple -calculus with e...
The past decade has given rise to a number of explicit substitution calculi. An important question o...