Giulio Guerrieri

Available identifiers

zbMath Open guerrieri.giulioMaRDI QIDQ2093144

List of research outcomes

Publication	Date of Publication	Type
A deep inference system for differential linear logic	2025-01-06	Paper
Strong call-by-value and multi types	2024-09-13	Paper
Strategies for asymptotic normalization	2024-05-27	Paper
Factorization and normalization, essentially	2024-04-19	Paper
Types by need	2023-11-24	Paper
Types of fireballs	2023-08-02	Paper
On reduction and normalization in the computational core	2023-02-28	Paper
Glueability of resource proof-structures: inverting the Taylor expansion	2023-02-07	Paper
Implementing open call-by-value	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q5094132	2022-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q5076060	2022-05-12	Paper
The bang calculus and the two Girard's translations	2021-12-20	Paper
Factorization in call-by-name and call-by-value calculi via linear logic	2021-10-18	Paper
The problem of harmony in classical logic	2021-02-06	Paper
Decomposing probabilistic lambda calculi	2020-09-23	Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion	2020-08-06	Paper
Proof-net as graph, Taylor expansion as pullback	2020-03-04	Paper
Head reduction and normalization in a call-by-value lambda-calculus	2019-10-24	Paper
Glueability of resource proof-structures: inverting the Taylor expansion (long version)	2019-10-17	Paper
Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited	2019-05-15	Paper
Types by Need (Extended Version)	2019-02-15	Paper
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)	2018-12-27	Paper
https://portal.mardi4nfdi.de/entity/Q4600771	2018-01-12	Paper
Postponement of raa and Glivenko's theorem, revisited (extended version)	2017-10-24	Paper
Computing connected proof(-structure)s from their Taylor expansion	2017-10-17	Paper
Standardization of a Call-By-Value Lambda-Calculus	2017-07-12	Paper
Open call-by-value	2016-12-21	Paper
A Semantical and Operational Account of Call-by-Value Solvability	2014-04-16	Paper

Research outcomes over time

This page was built for person: Giulio Guerrieri