Author:
Kamareddine Fairouz,Bloo Roel
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference24 articles.
1. H.P. Barendregt, The Lambda Calculus: Its Syntax and Semantics, North-Holland, revised edition, 1984
2. λ-calculi with types;Barendregt,1992
3. O. Danvy, L.R. Nielsen, CPS transformation of beta-redexes, in: Amr Sabry (Ed.), Proceedings of the Third ACM SIGPLAN Workshop on Continuations, Technical Report 545, Computer Science Department, Indiana University, pp. 35–39, London, England, January 2001. Also available as the technical report BRICS RS-00-35
4. P. de Groote, The conservation theorem revisited, in: International Conference on Typed Lambda Calculi and Applications, LNCS, vol. 664, Springer-Verlag, 1993
5. Postponement, conservation and preservation of strong normalisation for generalised reduction;Kamareddine;Logic and Computation,2000
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal system λδ;ACM Transactions on Computational Logic;2009-10