Author:
Balat Vincent,Danvy Olivier
Publisher
Springer Berlin Heidelberg
Reference47 articles.
1. Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, and Philip Scott. Normalization by evaluation for typed lambda calculus with coproducts. In Joseph Halpern, editor, Proceedings of the Sixteenth Annual IEEE Symposium on Logic in Computer Science, pages 203–210, Boston, Massachusetts, June 2001. IEEE Computer Society Press.
2. Lect Notes Comput Sci;T. Altenkirch,1995
3. Thorsten Altenkirch, Martin Hofmann, and Thomas Streicher. Reduction-free normalisation for a polymorphic system. In Edmund M. Clarke, editor, Proceedings of the Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 98–106, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press.
4. Vincent Balat. PhD thesis, PPS, Université Paris VII-Denis Diderot, Paris, France, 2002. Forthcoming.
5. Lect Notes Comput Sci;V. Balat,1998
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献