Cited By
View all- Dagnino FPadovani L(2024)sMALL CaPS: An Infinitary Linear Logic for a Calculus of Pure SessionsProceedings of the 26th International Symposium on Principles and Practice of Declarative Programming10.1145/3678232.3678234(1-13)Online publication date: 9-Sep-2024
- Curzi GDas A(2023)Computational expressivity of (circular) proofs with fixed points2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1109/LICS56636.2023.10175772(1-13)Online publication date: 26-Jun-2023
- Saurin A(2023)A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-PointsAutomated Reasoning with Analytic Tableaux and Related Methods10.1007/978-3-031-43513-3_12(203-222)Online publication date: 14-Sep-2023
- Show More Cited By