default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiulio Guerrieri
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c28]Matteo Acclavio
, Gianluca Curzi, Giulio Guerrieri:
Infinitary Cut-Elimination via Finite Approximations. CSL 2024: 8:1-8:19- [c27]Delia Kesner, Victor Arrial, Giulio Guerrieri:
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). FSCD 2024: 1:1-1:24 - [c26]Victor Arrial, Giulio Guerrieri, Delia Kesner:
The Benefits of Diligence. IJCAR (2) 2024: 338-359 - [c25]Victor Arrial, Giulio Guerrieri, Delia Kesner:
Genericity Through Stratification. LICS 2024: 5:1-5:15 - [c24]Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair:
Confluence for Proof-Nets via Parallel Cut Elimination. LPAR 2024: 464-483 - [i25]Victor Arrial, Giulio Guerrieri, Delia Kesner:
Genericity Through Stratification. CoRR abs/2401.12212 (2024) - [i24]Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri:
Non-wellfounded parsimonious proofs and non-uniform complexity. CoRR abs/2404.03311 (2024) - [i23]Delia Kesner, Victor Arrial, Giulio Guerrieri:
Meaningfulness and Genericity in a Subsuming Framework. CoRR abs/2404.06361 (2024) - [i22]Victor Arrial, Giulio Guerrieri, Delia Kesner:
The Benefits of Diligence. CoRR abs/2404.12951 (2024) - 2023
- [j7]Victor Arrial, Giulio Guerrieri, Delia Kesner:
Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework. Proc. ACM Program. Lang. 7(POPL): 1483-1513 (2023) - [c23]Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Strong Call-by-Value and Multi Types. ICTAC 2023: 196-215 - [i21]Matteo Acclavio, Gianluca Curzi, Giulio Guerrieri:
Infinitary cut-elimination via finite approximations. CoRR abs/2308.07789 (2023) - [i20]Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Strong Call-by-Value and Multi Types. CoRR abs/2309.12261 (2023) - 2022
- [j6]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. Log. Methods Comput. Sci. 18(2) (2022) - [j5]Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia:
On reduction and normalization in the computational core. Math. Struct. Comput. Sci. 32(7): 934-981 (2022) - [j4]Beniamino Accattoli, Giulio Guerrieri:
The theory of call-by-value solvability. Proc. ACM Program. Lang. 6(ICFP): 855-885 (2022) - [c22]Claudia Faggian, Giulio Guerrieri:
Strategies for Asymptotic Normalization. FSCD 2022: 17:1-17:24 - [i19]Beniamino Accattoli, Giulio Guerrieri:
Call-by-Value Solvability and Multi Types. CoRR abs/2202.03079 (2022) - [i18]Claudia Faggian, Giulio Guerrieri:
Strategies for Asymptotic Normalization. CoRR abs/2204.08772 (2022) - [i17]Beniamino Accattoli, Giulio Guerrieri:
The Theory of Call-by-Value Solvability (long version). CoRR abs/2207.08697 (2022) - 2021
- [c21]Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorize Factorization. CSL 2021: 6:1-6:25 - [c20]Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus:
A Deep Quantitative Type System. CSL 2021: 24:1-24:24 - [c19]Giulio Guerrieri, Federico Olimpieri:
Categorifying Non-Idempotent Intersection Types. CSL 2021: 25:1-25:24 - [c18]Claudia Faggian, Giulio Guerrieri:
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. FoSSaCS 2021: 205-225 - [i16]Claudia Faggian, Giulio Guerrieri:
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). CoRR abs/2101.08364 (2021) - [i15]Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia:
On reduction and normalization in the computational core. CoRR abs/2104.10267 (2021) - [i14]Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Semantic Bounds and Strong Call-by-Value Normalization. CoRR abs/2104.13979 (2021) - 2020
- [c17]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. CSL 2020: 24:1-24:18 - [c16]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-Calculi. FoSSaCS 2020: 136-156 - [c15]Matteo Acclavio, Giulio Guerrieri:
A Deep Inference System for Differential Linear Logic. Linearity&TLLA@IJCAR-FSCD 2020: 26-49 - [i13]Ugo Dal Lago, Giulio Guerrieri, Willem Heijltjes:
Decomposing Probabilistic Lambda-calculi. CoRR abs/2002.08392 (2020) - [i12]Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorize Factorization. CoRR abs/2005.01808 (2020) - [i11]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. CoRR abs/2008.03103 (2020)
2010 – 2019
- 2019
- [j3]Giulio Guerrieri, Alberto Naibo:
Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. Stud Logica 107(1): 109-144 (2019) - [j2]Beniamino Accattoli, Giulio Guerrieri:
Abstract machines for Open Call-by-Value. Sci. Comput. Program. 184 (2019) - [c14]Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorization and Normalization, Essentially. APLAS 2019: 159-180 - [c13]Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Types by Need. ESOP 2019: 410-439 - [c12]Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen:
Crumbling Abstract Machines. PPDP 2019: 4:1-4:15 - [c11]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC 2019: 282-300 - [i10]Beniamino Accattoli, Giulio Guerrieri, Maico Leberle:
Types by Need (Extended Version). CoRR abs/1902.05945 (2019) - [i9]Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen:
Crumbling Abstract Machines. CoRR abs/1907.06057 (2019) - [i8]Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri:
Factorization and Normalization, Essentially. CoRR abs/1908.11289 (2019) - [i7]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Glueability of resource proof-structures: inverting the Taylor expansion (long version). CoRR abs/1910.07936 (2019) - 2018
- [c10]Beniamino Accattoli, Giulio Guerrieri:
Types of Fireballs. APLAS 2018: 45-66 - [c9]Giulio Guerrieri, Giulio Manzonetto:
The Bang Calculus and the Two Girard's Translations. Linearity-TLLA@FLoC 2018: 15-30 - [c8]Giulio Guerrieri:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus. DCM/ITRS 2018: 57-72 - [i6]Beniamino Accattoli, Giulio Guerrieri:
Types of Fireballs (Extended Version). CoRR abs/1808.10389 (2018) - [i5]Giulio Guerrieri:
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version). CoRR abs/1812.10799 (2018) - 2017
- [j1]Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca:
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. 13(4) (2017) - [c7]Beniamino Accattoli, Giulio Guerrieri:
Implementing Open Call-by-Value. FSEN 2017: 1-19 - [i4]Beniamino Accattoli, Giulio Guerrieri:
Implementing Open Call-by-Value (Extended Version). CoRR abs/1701.08186 (2017) - 2016
- [c6]Beniamino Accattoli, Giulio Guerrieri:
Open Call-by-Value. APLAS 2016: 206-226 - [c5]Thomas Ehrhard, Giulio Guerrieri:
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value. PPDP 2016: 174-187 - [c4]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Computing Connected Proof(-Structure)s From Their Taylor Expansion. FSCD 2016: 20:1-20:18 - [i3]Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco:
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. CoRR abs/1606.00280 (2016) - [i2]Beniamino Accattoli, Giulio Guerrieri:
Open Call-by-Value (Extended Version). CoRR abs/1609.00322 (2016) - [i1]Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca:
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR abs/1611.07255 (2016) - 2015
- [c3]Giulio Guerrieri:
Head reduction and normalization in a call-by-value lambda-calculus. WPTE@RDP 2015: 3-17 - [c2]Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca:
Standardization of a Call-By-Value Lambda-Calculus. TLCA 2015: 211-225 - 2014
- [c1]Alberto Carraro, Giulio Guerrieri:
A Semantical and Operational Account of Call-by-Value Solvability. FoSSaCS 2014: 103-118
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
