Giulio Guerrieri
University of Bath
H-index: 14
Europe-United Kingdom
Top articles of Giulio Guerrieri
The Benefits of Diligence
arXiv preprint arXiv:2404.12951
2024/4/19
Giulio Guerrieri
H-Index: 11
Meaningfulness and Genericity in a Subsuming Framework
arXiv preprint arXiv:2404.06361
2024/4/9
Giulio Guerrieri
H-Index: 11
Non-wellfounded parsimonious proofs and non-uniform complexity
arXiv preprint arXiv:2404.03311
2024/4/4
Giulio Guerrieri
H-Index: 11
Genericity Through Stratification
arXiv preprint arXiv:2401.12212
2024/1/22
Giulio Guerrieri
H-Index: 11
Strong call-by-value and multi types
2023/11/23
Giulio Guerrieri
H-Index: 11
Check for updates Strong Call-by-Value and Multi Types
Theoretical Aspects of Computing–ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings
2023/11/22
Giulio Guerrieri
H-Index: 11
Infinitary cut-elimination via finite approximations
arXiv preprint arXiv:2308.07789
2023/8/15
Giulio Guerrieri
H-Index: 11
Quantitative inhabitation for different lambda calculi in a unifying framework
Proceedings of the ACM on Programming Languages
2023/1/9
Giulio Guerrieri
H-Index: 11
The theory of call-by-value solvability
Proceedings of the ACM on Programming Languages
2022/8/29
Giulio Guerrieri
H-Index: 11
On reduction and normalization in the computational core
Mathematical Structures in Computer Science
2022/8
Giulio Guerrieri
H-Index: 11
The Theory of Call-by-Value Solvability (long version)
arXiv preprint arXiv:2207.08697
2022/7/18
Giulio Guerrieri
H-Index: 11
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Logical Methods in Computer Science
2022/4/22
Giulio Guerrieri
H-Index: 11
Strategies for asymptotic normalization
arXiv preprint arXiv:2204.08772
2022/4/19
Giulio Guerrieri
H-Index: 11
Call-by-value solvability and multi types
arXiv preprint arXiv:2202.03079
2022/2/7
Giulio Guerrieri
H-Index: 11
A deep quantitative type system
2021
Giulio Guerrieri
H-Index: 11
A deep inference system for differential linear logic
arXiv preprint arXiv:2112.14963
2021/12/30
Giulio Guerrieri
H-Index: 11
MELL proof-nets in the category of graphs
2021/6/27
Giulio Guerrieri
H-Index: 11
Evaluation and convergence in the computational calculus
2021/6/27
Giulio Guerrieri
H-Index: 11
Semantic bounds and strong call-by-value normalization
arXiv preprint arXiv:2104.13979
2021/4/28
Giulio Guerrieri
H-Index: 11
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic.
2021/3/23
Giulio Guerrieri
H-Index: 11