A semantical and operational account of call-by-value solvability A Carraro, G Guerrieri | 65 | 2014 |

The bang calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value T Ehrhard, G Guerrieri Proceedings of the 18th International Symposium on Principles and Practice …, 2016 | 51 | 2016 |

Open call-by-value B Accattoli, G Guerrieri Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi …, 2016 | 51 | 2016 |

Computing connected proof (-structure) s from their Taylor expansion G Guerrieri, L Pellissier, LT De Falco Formal Structures in Computation and Deduction 52, 20: 1-20: 18, 2016 | 33 | 2016 |

Types of fireballs B Accattoli, G Guerrieri Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018 | 31 | 2018 |

The bang calculus and the two Girard's translations G Guerrieri, G Manzonetto arXiv preprint arXiv:1904.06845, 2019 | 30 | 2019 |

Types by Need. B Accattoli, G Guerrieri, M Leberle ESOP, 410-439, 2019 | 24 | 2019 |

Implementing open call-by-value B Accattoli, G Guerrieri Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 24 | 2017 |

Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 19 | 2019 |

Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca arXiv preprint arXiv:1611.07255, 2016 | 18 | 2016 |

Head reduction and normalization in a call-by-value lambda-calculus G Guerrieri 2nd International Workshop on Rewriting Techniques for Program …, 2015 | 16 | 2015 |

Standardization of a call-by-value lambda-calculus G Guerrieri, L Paolini, S Ronchi Della Rocca 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 14 | 2015 |

Towards a semantic measure of the execution time in call-by-value lambda-calculus G Guerrieri arXiv preprint arXiv:1904.10800, 2019 | 13 | 2019 |

Decomposing Probabilistic Lambda-Calculi. U Dal Lago, G Guerrieri, W Heijltjes FoSSaCS 20, 136-156, 2020 | 12 | 2020 |

Abstract machines for open call-by-value B Accattoli, G Guerrieri Science of Computer Programming 184, 102275, 2019 | 11 | 2019 |

Proof-net as graph, Taylor expansion as pullback G Guerrieri, L Pellissier, L Tortora de Falco Logic, Language, Information, and Computation: 26th International Workshop …, 2019 | 10 | 2019 |

Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. C Faggian, G Guerrieri FoSSaCS, 205-225, 2021 | 9 | 2021 |

Postponement of and Glivenko’s Theorem, Revisited G Guerrieri, A Naibo Studia Logica 107 (1), 109-144, 2019 | 9 | 2019 |

Factorization and normalization, essentially B Accattoli, C Faggian, G Guerrieri Programming Languages and Systems: 17th Asian Symposium, APLAS 2019, Nusa …, 2019 | 7 | 2019 |

The theory of call-by-value solvability B Accattoli, G Guerrieri Proceedings of the ACM on Programming Languages 6 (ICFP), 855-885, 2022 | 5 | 2022 |