Standardization and Confluence for a Lambda Calculus with Generalized Applications-Reference-Cited by-同舟云学术

Standardization and Confluence for a Lambda Calculus with Generalized Applications

Published:2000 Issue: Volume: Page:141-155
ISSN:0302-9743
Container-title:Rewriting Techniques and Applications
language:
Short-container-title:

Author:

Joachimski Felix,Matthes Ralph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10721975_10

Reference14 articles.

1. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics. second revised edn. North- Holland, Amsterdam (1984)

2. David, R.: Une preuve simple de résultats classiques en λ calcul. C.R. Acad. Sci. Paris, t. 320 Série I, 1401–1406 (1995)

3. Lecture Notes in Computer Science;P. Groote de,1999

4. Cambridge Tracts in Theoretical Computer Science;J.-Y. Girard,1989

5. Joachimski, F., Matthes, R.: Short proofs of normalization for the simplytyped lambda-calculus, permutative conversions and Gödel’s T. Submitted to the Archive for Mathematical Logic (1999)

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

1. A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications;Lecture Notes in Computer Science;2022

2. Computation in focused intuitionistic logic;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14

3. Some properties of the -calculus;Journal of Applied Non-Classical Logics;2012-08

4. A calculus of multiary sequent terms;ACM Transactions on Computational Logic;2011-05

5. Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi;Logical Methods in Computer Science;2009-05-25