Follow
Gianluca Curzi
Title
Cited by
Cited by
Year
Trust evidence logic
A Aldini, G Curzi, P Graziani, M Tagliaferri
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th …, 2021
112021
Non-uniform complexity via non-wellfounded proofs
G Curzi, A Das
arXiv preprint arXiv:2211.16104, 2022
72022
Cyclic implicit complexity
G Curzi, A Das
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
72022
Infinitary cut-elimination via finite approximations
M Acclavio, G Curzi, G Guerrieri
arXiv preprint arXiv:2308.07789, 2023
52023
The benefit of being non-lazy in probabilistic λ-calculus: Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name
G Curzi, M Pagani
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020
32020
Computational expressivity of (circular) proofs with fixed points
G Curzi, A Das
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
22023
A type-assignment of linear erasure and duplication
G Curzi, L Roversi
Theoretical Computer Science 837, 26-53, 2020
22020
Probabilistic Soft Type Assignment
G Curzi, L Roversi
arXiv preprint arXiv:2007.01733, 2020
22020
A probabilistic modal logic for context-aware trust based on evidence
A Aldini, G Curzi, P Graziani, M Tagliaferri
International Journal of Approximate Reasoning 169, 109167, 2024
12024
Linear additives
G Curzi
arXiv preprint arXiv:2104.13739, 2021
12021
Non-uniform polynomial time via non-wellfounded parsimonious proofs
M Acclavio, G Curzi, G Guerrieri
Unpublished. URL: http://gianlucacurzi. com/Non-uniform-polynomial-time-via …, 0
1
Non-wellfounded parsimonious proofs and non-uniform complexity
M Acclavio, G Curzi, G Guerrieri
arXiv preprint arXiv:2404.03311, 2024
2024
Non-laziness in implicit computational complexity and probabilistic λ-calculus
G Curzi
Université Paris Cité, 2020
2020
Non-Uniform Polynomial Time and Non-Wellfounded Parsimonious Proofs
M Acclavio, G Curzi, G Guerrieri
Towards Cyclic Implicit Complexity
G Curzi, A Das
The system can't perform the operation now. Try again later.
Articles 1–15