Eta-conversion for the languages of explicit substitutions

Th�r�se Hardin

doi:10.1007/bf01235723

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

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

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