ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
A Theory of Explicit Substitutions with Safe and Full Composition
Logical Methods in Computer Science
◽
10.2168/lmcs-5(3:1)2009
◽
2009
◽
Vol 5
(3)
◽
Cited By ~ 9
Author(s):
Delia Kesner
Keyword(s):
Explicit Substitutions
Download Full-text
Related Documents
Cited By
References
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close