Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Zena Ariola and Stefan Blom. Skew andømega-Skew Confluence and Abstract Böhm Semantics. In Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, and Roel de Vrijer, editors,Processes, Terms and Cycles: Steps on the Road to Infinity, volume 3838 ofLecture Notes in Computer Science, pages 368-403. Springer Berlin / Heidelberg, 2005.
2. Skew confluence and the lambda calculus with letrec
3. Lambda Calculus with Explicit Recursion
4. Patrick Bahr. Infinitary Rewriting - Theory and Applications. Master's thesis, Vienna University of Technology, Vienna, 2009.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献