Author:
Dowek Gilles,Hardin Thérèse,Kirchner Claude
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit substitutions, Journal of Functional Programming, 1,4 (1991) pp. 375–416.
2. P.B. Andrews, An introduction to mathematical logic and type theory: to truth through proof, Academic Press (1986).
3. A. Barber, Dual Intuitionistic Linear Logic, Technical Report ECS-LFCS-96-347, University of Edinburgh (1996).
4. N.G. de Bruijn, Lambda calculus notation with nameless dummies: a tool for automatic formula manipulation, with application to the Church-Rosser theorem, Indag. Math. 34, pp 381–392.
5. P.-L. Curien, Categorical combinators, sequential algorithms and functional programming, Birkhauser (1993).
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献