Giulio Manzonetto

57 papers A* 3B 15Misc 2Journal 30Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Groups and Inverse Semigroups in Lambda Calculus. CoRR Antonio Bucciarelli, Arturo De Faveri, Giulio Manzonetto, Antonino Salibra
2026	B	`conf`	Interaction Improvement. FoSSaCS Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2026	J	`jnl`	Interaction Improvement. CoRR Adrienne Lancelot, Giulio Manzonetto, Guy McCusker, Gabriele Vanoni
2025	J	`jnl`	A Fully Abstract Model of PCF Based on Extended Addressing Machines. Log. Methods Comput. Sci. Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
2025	J	`jnl`	Interaction Equivalence. Proc. ACM Program. Lang. Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni
2025	B	`conf`	Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! FSCD Rémy Cerda, Giulio Manzonetto, Alexis Saurin
2025	J	`jnl`	Ohana trees and Taylor expansion for the λI-calculus. No variable gets left behind or forgotten! CoRR Rémy Cerda, Giulio Manzonetto, Alexis Saurin
2024	J	`jnl`	Interaction Equivalence. CoRR Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni
2023	B	`conf`	A Lambda Calculus Satellite (Invited Talk). FSCD Giulio Manzonetto
2023	J	`jnl`	Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. CoRR Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
2023	—	`ed.`	Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, Bologna, Italy (Virtual Conference), September 2020 / Paris, France, May 10-12, 2022 Microservices Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann
2023	J	`jnl`	Why Are Proofs Relevant in Proof-Relevant Models? Proc. ACM Program. Lang. Axel Kerinec, Giulio Manzonetto, Federico Olimpieri
2022	—	`book`	A Lambda Calculus Satellite. Henk Barendregt, Giulio Manzonetto
2022	J	`jnl`	Addressing Machines as models of lambda-calculus. Log. Methods Comput. Sci. Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
2022	B	`conf`	Extended Addressing Machines for PCF, with Explicit Substitutions. MFPS Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich
2021	J	`jnl`	Addressing Machines as models of lambda-calculus. CoRR Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto
2021	B	`conf`	Call-By-Value, Again! FSCD Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca
2020	J	`jnl`	Revisiting Call-by-value Böhm trees in light of their Taylor expansion. Log. Methods Comput. Sci. Axel Kerinec, Giulio Manzonetto, Michele Pagani
2020	J	`jnl`	Taylor subsumes Scott, Berry, Kahn and Plotkin. Proc. ACM Program. Lang. Davide Barbarossa, Giulio Manzonetto
2019	J	`jnl`	Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. Log. Methods Comput. Sci. Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
2019	J	`jnl`	New Semantical Insights Into Call-by-Value λ-Calculus. Fundam. Informaticae Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca
2019	J	`jnl`	The fixed point property and a technique to harness double fixed point combinators. J. Log. Comput. Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen
2018	J	`jnl`	Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture. CoRR Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
2018	J	`jnl`	Relational Graph Models at Work. Log. Methods Comput. Sci. Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
2018	J	`jnl`	Revisiting Call-by-value Bohm trees in light of their Taylor expansion. CoRR Axel Kerinec, Giulio Manzonetto, Michele Pagani
2018	—	`conf`	The Bang Calculus and the Two Girard's Translations. Linearity-TLLA@FLoC Giulio Guerrieri, Giulio Manzonetto
2017	B	`conf`	Refutation of Sallé's Longstanding Conjecture. FSCD Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky
2017	J	`jnl`	Relational Graph Models at Work. CoRR Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo
2016	A*	`conf`	Factor Varieties and Symbolic Computation. LICS Antonino Salibra, Giulio Manzonetto, Giordano Favro
2016	B	`conf`	New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. FSCD Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo
2014	B	`conf`	Relational Graph Models, Taylor Expansion and Extensionality. MFPS Giulio Manzonetto, Domenico Ruoppolo
2013	Misc	`conf`	Call-by-Value Non-determinism in a Linear Logic Type Discipline. LFCS Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
2013	J	`jnl`	Call-by-value non-determinism in a linear logic type discipline. CoRR Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani
2013	J	`jnl`	Constructing differential categories and deconstructing categories of games. Inf. Comput. Jim Laird, Giulio Manzonetto, Guy McCusker
2013	A*	`conf`	Weighted Relational Models of Typed Lambda-Calculi. LICS Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani
2012	J	`jnl`	A relational semantics for parallelism and non-determinism in a functional setting. Ann. Pure Appl. Log. Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2012	J	`jnl`	Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion Log. Methods Comput. Sci. Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2012	—	`conf`	Loader and Urzyczyn Are Logically Related. ICALP (2) Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt
2012	J	`jnl`	Strong normalization of ML Theor. Comput. Sci. Giulio Manzonetto, Paolo Tranquilli
2012	J	`jnl`	What is a categorical model of the differential and the resource λ-calculi? Math. Struct. Comput. Sci. Giulio Manzonetto
2011	—	`conf`	Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. TLCA Giulio Manzonetto, Michele Pagani
2011	—	`conf`	Constructing Differential Categories and Deconstructing Categories of Games. ICALP (2) Jim Laird, Giulio Manzonetto, Guy McCusker
2011	B	`conf`	Full Abstraction for Resource Calculus with Tests. CSL Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto
2010	J	`jnl`	Applying Universal Algebra to Lambda Calculus. J. Log. Comput. Giulio Manzonetto, Antonino Salibra
2010	B	`conf`	Categorical Models for Simply Typed Resource Calculi. MFPS Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2010	B	`conf`	Harnessing ML MFCS Giulio Manzonetto, Paolo Tranquilli
2010	J	`jnl`	What is a categorical model of the differential and the resource lambda-calculi? CoRR Giulio Manzonetto
2009	B	`conf`	A General Class of Models of H MFCS Giulio Manzonetto
2009	Misc	`conf`	A Relational Model of a Parallel and Non-deterministic lambda-Calculus. LFCS Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2009	J	`jnl`	Effective lambda-models versus recursively enumerable lambda-theories. Math. Struct. Comput. Sci. Chantal Berline, Giulio Manzonetto, Antonino Salibra
2009	J	`jnl`	Models and theories of lambda calculus CoRR Giulio Manzonetto
2008	J	`jnl`	Effective lambda-models vs recursively enumerable lambda-theories CoRR Chantal Berline, Giulio Manzonetto, Antonino Salibra
2008	B	`conf`	From lambda-Calculus to Universal Algebra and Back. MFCS Giulio Manzonetto, Antonino Salibra
2008	—	`—`	Models and theories of lambda calculus. Giulio Manzonetto
2007	B	`conf`	Lambda Theories of Effective Lambda Models. CSL Chantal Berline, Giulio Manzonetto, Antonino Salibra
2007	B	`conf`	Not Enough Points Is Enough. CSL Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto
2006	A*	`conf`	Boolean Algebras for Lambda Calculus. LICS Giulio Manzonetto, Antonino Salibra