Typed λ-calculi with explicit substitutions may not terminate

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/bfb0014062 ◽

1995 ◽

pp. 328-334 ◽

Cited By ~ 52

Author(s):

Paul-André Mellies

Keyword(s):

Explicit Substitutions

Download Full-text

Using Fields and Explicit Substitutions to Implement Objects and Functions in a de Bruijn Setting

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-48168-0_15 ◽

1999 ◽

pp. 204-219

Author(s):

Eduardo Bonelli

Keyword(s):

Explicit Substitutions ◽

De Bruijn

Download Full-text

Explicit substitutions with de bruijn's levels

Rewriting Techniques and Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-59200-8_65 ◽

1995 ◽

pp. 294-308 ◽

Cited By ~ 9

Author(s):

Pierre Lescanne ◽

Jocelyne Rouyer-Degli

Keyword(s):

Explicit Substitutions

Download Full-text

The Theory of Calculi with Explicit Substitutions Revisited

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-74915-8_20 ◽

2007 ◽

pp. 238-252 ◽

Cited By ~ 15

Author(s):

Delia Kesner

Keyword(s):

Explicit Substitutions

Download Full-text

Explicit substitutions for objects and functions

Principles of Declarative Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0056615 ◽

1998 ◽

pp. 195-212 ◽

Cited By ~ 1

Author(s):

Delia Kesner ◽

Pablo E. Martínez López

Keyword(s):

Explicit Substitutions

Download Full-text

Eta-conversion for the languages of explicit substitutions

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0013834 ◽

2005 ◽

pp. 306-321 ◽

Cited By ~ 6

Author(s):

Thérèse Hardin

Keyword(s):

Explicit Substitutions

Download Full-text

Eta-conversion for the languages of explicit substitutions

Applicable Algebra in Engineering Communication and Computing ◽

10.1007/bf01235723 ◽

1995 ◽

Vol 6 (4-5) ◽

pp. 325-325

Author(s):

Th�r�se Hardin

Keyword(s):

Explicit Substitutions

Download Full-text

Strong Normalization of $\overline{\lambda}\mu\widetilde{\mu}$ -Calculus with Explicit Substitutions

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-540-24727-2_30 ◽

2004 ◽

pp. 423-437 ◽

Cited By ~ 11

Author(s):

Emmanuel Polonovski

Keyword(s):

Strong Normalization ◽

Explicit Substitutions

Download Full-text

On explicit substitutions and names (extended abstract)

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-63165-8_182 ◽

1997 ◽

pp. 248-258 ◽

Cited By ~ 5

Author(s):

Eike Ritter ◽

Valeria Paiva

Keyword(s):

Explicit Substitutions

Download Full-text

Closed reduction: explicit substitutions without $\alpha$ -conversion

Mathematical Structures in Computer Science ◽

10.1017/s0960129504004633 ◽

2005 ◽

Vol 15 (2) ◽

pp. 343-381 ◽

Cited By ~ 21

Author(s):

M. FERNÁNDEZ ◽

I. MACKIE ◽

F-R. SINOT

Keyword(s):

Closed Reduction ◽

Explicit Substitutions

Download Full-text

Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.10.037 ◽

2007 ◽

Vol 174 (7) ◽

pp. 41-60

Author(s):

Brigitte Pientka

Keyword(s):

Functional Programming ◽

Higher Order ◽

Abstract Syntax ◽

Explicit Substitutions

Download Full-text