Author:
Arbiser Ariel,Miquel Alexandre,Ríos Alejandro
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Arbiser, A., Miquel, A., Ríos, A.: A λ-calculus with constructors. Available from the web pages of the authors (manuscript, 2006)
2. Baader, F., Nipkow, T.: Rewriting and All That. Addison-Wesley, Reading (1999)
3. Studies in Logic and The Foundations of Mathematics;H. Barendregt,1984
4. Böhm, C., Dezani-Ciancaglini, M., Peretti, P., Ronchi Della Rocha, S.: A discrimination algorithm inside lambda-beta-calculus. Theoretical Computer Science 8(3), 265–291 (1979)
5. Cerrito, S., Kesner, D.: Pattern matching as cut elimination. In: Logics In Computer Science (LICS 1999), pp. 98–108 (1999)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献