Author:
Accattoli Beniamino,Kesner Delia
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference42 articles.
1. B. Accattoli.Jumping around the box: graphical and operational studies on Lambda Calculus and Linear Logic.Ph.D. Thesis, Università di Roma La Sapienza, 2011.
2. B. Accattoli and S. Guerrini. Jumping Boxes. representing Lambda-Calculus Boxes by Jumps. In E. Grädel and R. Kahle, editors,Proc. of 18th Computer Science Logic (CSL), volume 5771 ofLecture Notes in Computer Science, pages 55-70. Springer-Verlag, Sept. 2009.
3. B. Accattoli and D. Kesner. The structural lambda-calculus. In A. Dawar and H. Veith, editors,Proc. of 24thComputer Science Logic (CSL), volume 6247 ofLecture Notes in Computer Science, pages 381-395. Springer-Verlag, Aug. 2010.
4. B. Accattoli and D. Kesner. The permutativeλ-calculus, 2012. Accepted at LPAR 2012.
5. F. Baader and T. Nipkow.Term Rewriting and it All That. Cambridge University Press, 1998.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献