Giulio Manzonetto

According to our database, Giulio Manzonetto authored at least 42 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Why Are Proofs Relevant in Proof-Relevant Models?

Axel Kerinec, Giulio Manzonetto, Federico Olimpieri

Proc. ACM Program. Lang., January, 2023

Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction.

Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich

CoRR, 2023

A Lambda Calculus Satellite (Invited Talk).

Giulio Manzonetto

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Addressing Machines as models of lambda-calculus.

Giuseppe Della Penna, Benedetto Intrigila, Giulio Manzonetto

Log. Methods Comput. Sci., 2022

Extended Addressing Machines for PCF, with Explicit Substitutions.

Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

A Lambda Calculus Satellite.

Henk Barendregt, Giulio Manzonetto

College Publications, ISBN: 978-1-84890-415-6, 2022

2021

Call-By-Value, Again!

Axel Kerinec, Giulio Manzonetto, Simona Ronchi Della Rocca

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Taylor subsumes Scott, Berry, Kahn and Plotkin.

Davide Barbarossa, Giulio Manzonetto

Proc. ACM Program. Lang., 2020

Revisiting Call-by-value Böhm trees in light of their Taylor expansion.

Axel Kerinec, Giulio Manzonetto, Michele Pagani

Log. Methods Comput. Sci., 2020

2019

The fixed point property and a technique to harness double fixed point combinators.

Giulio Manzonetto, Andrew Polonsky, Alexis Saurin, Jakob Grue Simonsen

J. Log. Comput., 2019

Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture.

Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky

Log. Methods Comput. Sci., 2019

New Semantical Insights Into Call-by-Value λ-Calculus.

Giulio Manzonetto, Michele Pagani, Simona Ronchi Della Rocca

Fundam. Informaticae, 2019

2018

Relational Graph Models at Work.

Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo

Log. Methods Comput. Sci., 2018

The Bang Calculus and the Two Girard's Translations.

Giulio Guerrieri, Giulio Manzonetto

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

2017

Refutation of Sallé's Longstanding Conjecture.

Benedetto Intrigila, Giulio Manzonetto, Andrew Polonsky

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable.

Flavien Breuvart, Giulio Manzonetto, Andrew Polonsky, Domenico Ruoppolo

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Factor Varieties and Symbolic Computation.

Antonino Salibra, Giulio Manzonetto, Giordano Favro

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2014

Relational Graph Models, Taylor Expansion and Extensionality.

Giulio Manzonetto, Domenico Ruoppolo

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

2013

Constructing differential categories and deconstructing categories of games.

Jim Laird, Giulio Manzonetto, Guy McCusker

Inf. Comput., 2013

Weighted Relational Models of Typed Lambda-Calculi.

Jim Laird, Giulio Manzonetto, Guy McCusker, Michele Pagani

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Call-by-Value Non-determinism in a Linear Logic Type Discipline.

Alejandro Díaz-Caro, Giulio Manzonetto, Michele Pagani

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012

Strong normalization of ML^F via a calculus of coercions.

Giulio Manzonetto, Paolo Tranquilli

Theor. Comput. Sci., 2012

What is a categorical model of the differential and the resource λ-calculi?

Giulio Manzonetto

Math. Struct. Comput. Sci., 2012

Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto

Log. Methods Comput. Sci., 2012

A relational semantics for parallelism and non-determinism in a functional setting.

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto

Ann. Pure Appl. Log., 2012

Loader and Urzyczyn Are Logically Related.

Sylvain Salvati, Giulio Manzonetto, Mai Gehrke, Henk Barendregt

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion.

Giulio Manzonetto, Michele Pagani

Proceedings of the Typed Lambda Calculi and Applications - 10th International Conference, 2011

Full Abstraction for Resource Calculus with Tests.

Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto

Proceedings of the Computer Science Logic, 2011

2010

Applying Universal Algebra to Lambda Calculus.

Giulio Manzonetto, Antonino Salibra

J. Log. Comput., 2010

Categorical Models for Simply Typed Resource Calculi.

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

What is a categorical model of the differential and the resource lambda-calculi?

Giulio Manzonetto

CoRR, 2010

Harnessing ML^F with the Power of System F.

Giulio Manzonetto, Paolo Tranquilli

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

2009

Effective lambda-models versus recursively enumerable lambda-theories.

Chantal Berline, Giulio Manzonetto, Antonino Salibra

Math. Struct. Comput. Sci., 2009

Models and theories of lambda calculus

Giulio Manzonetto

CoRR, 2009

A General Class of Models of H^*.

Giulio Manzonetto

Proceedings of the Mathematical Foundations of Computer Science 2009, 2009

A Relational Model of a Parallel and Non-deterministic lambda-Calculus.

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto

Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

2008

Models and theories of lambda calculus.

Giulio Manzonetto

PhD thesis, 2008

Effective lambda-models vs recursively enumerable lambda-theories

Chantal Berline, Giulio Manzonetto, Antonino Salibra

CoRR, 2008

From lambda-Calculus to Universal Algebra and Back.

Giulio Manzonetto, Antonino Salibra

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2007

Not Enough Points Is Enough.

Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzonetto

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

Lambda Theories of Effective Lambda Models.

Chantal Berline, Giulio Manzonetto, Antonino Salibra

Proceedings of the Computer Science Logic, 21st International Workshop, 2007

2006

Boolean Algebras for Lambda Calculus.

Giulio Manzonetto, Antonino Salibra

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006