Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards Meta-Reasoning in the Concurrent Logical Framework CLF;Electronic Proceedings in Theoretical Computer Science;2013-07-26
2. Logical approximation for program analysis;Higher-Order and Symbolic Computation;2011-06
3. The Practice and Promise of Substructural Frameworks;Electronic Proceedings in Theoretical Computer Science;2010-09-11
4. Monads in action;ACM SIGPLAN Notices;2010-01-02
5. Induction on Concurrent Terms;Electronic Notes in Theoretical Computer Science;2008-01