Author:
Srivathsan B.,Walukiewicz Igor
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference7 articles.
1. Completeness in the theory of types;Henkin;Journal of Symbolic Logic,1950
2. The undecidability of-definability;Loader,2001
3. Recognizability in the simply typed lambda-calculus;Salvati;Logic, Language, Information and Computation,2009
4. On the membership problem for non-linear Abstract Categorial Grammars;Salvati;Journal of Logic, Language and Information,2010
5. Completeness, invariance and λ-definability;Statman;Journal of Symbolic Logic,1982
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The IO and OI hierarchies revisited;Information and Computation;2015-08