Author:
Aehlig Klaus,Joachimski Felix
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. A. Beraducci and Corrado Böhm. General recursion on second order term algebras. In Rewriting Techniques and Applications, volume 2051 of Lecuture notes in Computer Science, pages 15–30. Springer, 2001.
2. N. G. de Bruijn. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem. Indagationes Mathematicae, 34:381–392, 1972.
3. Wilfried Buchholz. Notation systems for infinitary derivations. Archive for Mathematical Logic, 30:277–296, 1991.
4. Lect Notes Comput Sci;T. Coquand,1994
5. Marcelo Fiore, Gordon Plotkin, and Daniele Turi. Abstract syntax and variable binding (extended abstract). In Proc. 14 th LICS 1999 (Trento), pages 193–202. IEEE Computer Science Press, 1999. Available from http://www.dcs.ed.ac.uk/home/gdp/publications/ .
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献