Author:
Kamareddine Fairouz,Bloo Roel
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference21 articles.
1. H.P. Barendregt. λ-calculi with types, in: S. Abramsky, D. Gabbay, T. Maibaum (Eds.), Handbook of Logic in Computer Science, vol. II, Oxford University Press, 1992, pp. 118–310
2. O. Danvy, L.R. Nielsen. CPS transformation of beta-redexes, in: A. Sabry (Ed.), Proceedings of the Third ACM SIGPLAN Workshop on Continuations, Technical report 545, Computer Science Department, Indiana University, London, England, January 2001, pp. 35–39. Also available as the technical report BRICS RS-00-35
3. P. de Groote. The conservation theorem revisited, in: International Conference on Typed Lambda Calculi and Applications, LNCS, vol. 664, Springer-Verlag, 1993
4. Postponement conservation and preservation of strong normalisation for generalised reduction;Kamareddine;Logic and Computation,2000
5. F. Kamareddine, R. Bloo, De Bruijn's syntax and reductional equivalence of lambda terms: the untyped case, Journal of Logic and Algebraic Programming, to be published, x-ref:10.1016/j.jlap.2004.01.001
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal system λδ;ACM Transactions on Computational Logic;2009-10
2. De Bruijn's syntax and reductional behaviour of λ-terms: the untyped case;The Journal of Logic and Algebraic Programming;2005-01