Author:
Salvati Sylvain,Walukiewicz Igor
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;K. Aehlig,2005
2. Aho, A.: Indexed grammars – an extension of context-free grammars. J. ACM 15(4), 647–671 (1968)
3. Barendregt, H.: The type free lambda calculus. In: Barwise, J. (ed.) Handbook of Mathematical Logic, ch. D.7, pp. 1091–1132. North Holland (1977)
4. Barendregt, H.: The Lambda Calculus, Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics, vol. 103. Elsevier (1985)
5. Barendregt, H., Klop, J.W.: Applications of infinitary lambda calculus. Inf. Comput. 207(5), 559–582 (2009)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Collapsible Pushdown Automata and Recursion Schemes;ACM Transactions on Computational Logic;2017-07-31
2. Simply typed fixpoint calculus and collapsible pushdown automata;Mathematical Structures in Computer Science;2015-03-18
3. Indexed linear logic and higher-order model checking;Electronic Proceedings in Theoretical Computer Science;2015-03-17
4. C-SHORe;ACM SIGPLAN Notices;2013-11-12
5. C-SHORe;Proceedings of the 18th ACM SIGPLAN international conference on Functional programming;2013-09-25