Author:
Despeyroux Joëlle,Felty Amy,Liò Pietro,Olarte Carlos
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computational Logic for Biomedicine and Neurosciences;Symbolic Approaches to Modeling and Analysis of Biological Systems;2023-08-04
2. A focused linear logical framework and its application to metatheory of object logics;Mathematical Structures in Computer Science;2021-03
3. The computational Patient has diabetes and a COVID;2020-06-12
4. A linear logical framework in Hybrid (invited talk);Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019