Giulio Guerrieri

Available identifiers

zbMath Open guerrieri.giulioMaRDI QIDQ2093144

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5874211	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
https://portal.mardi4nfdi.de/entity/Q5018484	2021-12-20	Paper
Factorization in call-by-name and call-by-value calculi via linear logic	2021-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q5149151	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
https://portal.mardi4nfdi.de/entity/Q5240183	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
https://portal.mardi4nfdi.de/entity/Q5369485	2017-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5277841	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Giulio Guerrieri