Publisher
Springer International Publishing
Reference20 articles.
1. Andreoli, J.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
2. Baelde, D.: Least and greatest fixed points in linear logic. ACM Trans. Comput. Log. 13(1), 2 (2012)
3. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
4. Caires, L., Perez, J., Pfenning, F.: Logic-based domain-aware session types (2014) (submitted)
5. Campagna, D., Piazza, C.: Hybrid automata in systems biology: how far can we go? Electron. Notes TCS 229(1), 93–108 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献