Author:
Barthe Gilles,Kamareddine Fairouz,Ríos Alejandro
Publisher
Springer Berlin Heidelberg
Reference30 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. A. W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
3. P. Audebaud. Explicit substitutions for the λμ-calculus. Technical Report RR94-26, Ecole Normal Superieure de Lyon, 1994.
4. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland, 1984.
5. G. Barthe, J. Hatcliff, and M.H. Sørensen. A notion of classical pure type system. In Proceedings of MFPS'97, volume 6 of Electronic Notes in Theoretical Computer Science, 1997. To appear.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献