Gianluca Curzi
From MaRDI portal
Person:2146056
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Cyclic implicit complexity ACM Transactions on Computational Logic | 2026-06-11 | Paper |
| Computational expressivity of (circular) proofs with fixed points | 2026-02-27 | Paper |
| Infinitary cut-elimination via finite approximations | 2026-02-19 | Paper |
| Computational expressivity of (circular) proofs with fixed points Logical Methods in Computer Science | 2026-02-13 | Paper |
| Linear additives | 2025-01-06 | Paper |
| Cyclic implicit complexity | 2024-12-06 | Paper |
| Non-uniform complexity via non-wellfounded proofs | 2024-09-25 | Paper |
| A probabilistic modal logic for context-aware trust based on evidence International Journal of Approximate Reasoning | 2024-07-10 | Paper |
| Trust evidence logic | 2022-06-15 | Paper |
| Cyclic Implicit Complexity | 2021-10-03 | Paper |
| The Benefit of Being Non-Lazy in Probabilistic λ-calculus Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| A type-assignment of linear erasure and duplication Theoretical Computer Science | 2020-08-25 | Paper |
Research outcomes over time
This page was built for person: Gianluca Curzi
