A λ-calculus à la de Bruijn with explicit substitutions-Reference-Cited by-同舟云学术

A λ-calculus à la de Bruijn with explicit substitutions

Published:1995 Issue: Volume: Page:45-62
ISSN:0302-9743
Container-title:Programming Languages: Implementations, Logics and Programs
language:
Short-container-title:

Author:

Kamareddine Fairouz,Ríos Alejandro

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0026813

Reference20 articles.

1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy. Explicit Substitutions. Journal of Functional Programming, 1(4):375–416, 1991.

2. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics (revised edition). North Holland, 1984.

3. Z. Benaissa, D. Briaud, P. Lescanne, and J. Rouyer-Degli. λv, a calculus of explicit substitutions which preserves strong normalisation. Personal communication, 1995.

4. P.-L. Curien, T. Hardin, and J.-J. Lévy. Confluence properties of weak and strong calculi of explicit substitutions. Technical Report RR 1617, INRIA, Rocquencourt, 1992. To appear in the JACM.

5. P.-L. Curien, T. Hardin, and A. Ríos. Strong Normalization of Substitutions in Proceedings of MFCS'92. In I.M. Havel and V. Koubek, editors, Lecture Notes in Computer Science 629, pages 209–217, Prague, 1992. Springer-Verlag.

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A fine-grained computational interpretation of Girard’s intuitionistic proof-nets;Proceedings of the ACM on Programming Languages;2022-01-12

2. Pure Pattern Calculus à la de Bruijn;Electronic Notes in Theoretical Computer Science;2020-09

3. Iteration and Labelled Iteration;Electronic Notes in Theoretical Computer Science;2016-10

4. Explicit substitution calculi with de Bruijn indices and intersection type systems;Logic Journal of IGPL;2014-12-30

5. On the Computability of Relations on λ-Terms and Rice’s Theorem - The Case of the Expansion Problem for Explicit Substitutions;LATIN 2014: Theoretical Informatics;2014