Author:
Kobele Gregory M.,Salvati Sylvain
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference39 articles.
1. Safety is not a restriction at level 2 for string languages;Aehlig,2005
2. Indexed grammars – an extension of context-free grammars;Aho;J. ACM,1968
3. Domains and Lambda-Calculi;Amadio,1998
4. The safe lambda calculus;Blum;Log. Methods Comput. Sci.,2009
5. A datalog recognizer for almost affine λ-CFGs;Bourreau,2011
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献