Author:
Kesner Delia,Lengrand Stéphane
Publisher
Springer Berlin Heidelberg
Reference51 articles.
1. Abadi, M., Cardelli, L., Curien, P.L., Lévy, J.-J.: Explicit substitutions. JFP 4(1), 375–416 (1991)
2. Abramsky, S.: Computational interpretations of linear logic. TCS 111, 3–57 (1993)
3. Arbiser, A., Bonelli, E., Ríos, A.: Perpetuality in a lambda calculus with explicit substitutions and composition. WAIT, JAIIO (2000)
4. Cambridge Tracts in Theoretical Computer Science;A. Asperti,1998
5. Benaissa, Z.-E.-A., Briaud, D., Lescanne, P., Rouyer-Degli, J.: λυ, a calculus of explicit substitutions which preserves strong normalisation. JFP 6(5), 699–722 (1996)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献