Boolean Algebras for Lambda Calculus. - Giulio Manzonetto; Antonino Salibra (LICS, 2006)

Lambda Theories of Effective Lambda Models. - Chantal Berline; Giulio Manzonetto; Antonino Salibra (CSL, 2007)

Not Enough Points Is Enough. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (CSL, 2007)

From lambda-Calculus to Universal Algebra and Back. - Giulio Manzonetto; Antonino Salibra (MFCS, 2008)

Effective lambda-models vs recursively enumerable lambda-theories - Chantal Berline; Giulio Manzonetto; Antonino Salibra (CoRR, 2008)

Models and theories of lambda calculus. - Giulio Manzonetto (2008)

A Relational Model of a Parallel and Non-deterministic lambda-Calculus. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (LFCS, 2009)

A General Class of Models of H*. - Giulio Manzonetto (MFCS, 2009)

Models and theories of lambda calculus - Giulio Manzonetto (CoRR, 2009)

Effective lambda-models versus recursively enumerable lambda-theories. - Chantal Berline; Giulio Manzonetto; Antonino Salibra (Math. Struct. Comput. Sci., 2009)

Harnessing MLF with the Power of System F. - Giulio Manzonetto; Paolo Tranquilli (MFCS, 2010)

What is a categorical model of the differential and the resource lambda-calculi? - Giulio Manzonetto (CoRR, 2010)

Categorical Models for Simply Typed Resource Calculi. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (MFPS, 2010)

Applying Universal Algebra to Lambda Calculus. - Giulio Manzonetto; Antonino Salibra (J. Log. Comput., 2010)

Full Abstraction for Resource Calculus with Tests. - Antonio Bucciarelli; Alberto Carraro; Thomas Ehrhard; Giulio Manzonetto (CSL, 2011)

Böhm's Theorem for Resource Lambda Calculus through Taylor Expansion. - Giulio Manzonetto; Michele Pagani (TLCA, 2011)

Loader and Urzyczyn Are Logically Related. - Sylvain Salvati; Giulio Manzonetto; Mai Gehrke; Henk Barendregt (ICALP (2), 2012)

A relational semantics for parallelism and non-determinism in a functional setting. - Antonio Bucciarelli; Thomas Ehrhard; Giulio Manzonetto (Ann. Pure Appl. Log., 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)

What is a categorical model of the differential and the resource λ-calculi? - Giulio Manzonetto (Math. Struct. Comput. Sci., 2012)

Strong normalization of MLF via a calculus of coercions. - Giulio Manzonetto; Paolo Tranquilli (Theor. Comput. Sci., 2012)

Call-by-Value Non-determinism in a Linear Logic Type Discipline. - Alejandro Díaz-Caro; Giulio Manzonetto; Michele Pagani (LFCS, 2013)

Weighted Relational Models of Typed Lambda-Calculi. - Jim Laird; Giulio Manzonetto; Guy McCusker; Michele Pagani (LICS, 2013)

Constructing differential categories and deconstructing categories of games. - Jim Laird; Giulio Manzonetto; Guy McCusker (Inf. Comput., 2013)

Relational Graph Models, Taylor Expansion and Extensionality. - Giulio Manzonetto; Domenico Ruoppolo (MFPS, 2014)

Factor Varieties and Symbolic Computation. - Antonino Salibra; Giulio Manzonetto; Giordano Favro (LICS, 2016)

New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable. - Flavien Breuvart; Giulio Manzonetto; Andrew Polonsky; Domenico Ruoppolo (FSCD, 2016)

Refutation of Sallé's Longstanding Conjecture. - Benedetto Intrigila; Giulio Manzonetto; Andrew Polonsky (FSCD, 2017)

The Bang Calculus and the Two Girard's Translations. - Giulio Guerrieri; Giulio Manzonetto (Linearity-TLLA@FLoC, 2018)

Relational Graph Models at Work. - Flavien Breuvart; Giulio Manzonetto; Domenico Ruoppolo (Log. Methods Comput. Sci., 2018)

New Semantical Insights Into Call-by-Value λ-Calculus. - Giulio Manzonetto; Michele Pagani; Simona Ronchi Della Rocca (Fundam. Informaticae, 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)

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)

Revisiting Call-by-value Böhm trees in light of their Taylor expansion. - Axel Kerinec; Giulio Manzonetto; Michele Pagani (Log. Methods Comput. Sci., 2020)

Taylor subsumes Scott, Berry, Kahn and Plotkin. - Davide Barbarossa; Giulio Manzonetto (Proc. ACM Program. Lang., 2020)

Call-By-Value, Again! - Axel Kerinec; Giulio Manzonetto; Simona Ronchi Della Rocca (FSCD, 2021)

A Lambda Calculus Satellite. - Henk Barendregt; Giulio Manzonetto (College Publications, 2022)

Extended Addressing Machines for PCF, with Explicit Substitutions. - Benedetto Intrigila; Giulio Manzonetto; Nicolas Munnich (MFPS, 2022)

Addressing Machines as models of lambda-calculus. - Giuseppe Della Penna; Benedetto Intrigila; Giulio Manzonetto (Log. Methods Comput. Sci., 2022)

A Lambda Calculus Satellite (Invited Talk). - Giulio Manzonetto (FSCD, 2023)

Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction. - Benedetto Intrigila; Giulio Manzonetto; Nicolas Munnich (CoRR, 2023)

Why Are Proofs Relevant in Proof-Relevant Models? - Axel Kerinec; Giulio Manzonetto; Federico Olimpieri (Proc. ACM Program. Lang., 2023)

Ohana Trees and Taylor Expansion for the λI-Calculus: No variable gets left behind or forgotten! - Rémy Cerda; Giulio Manzonetto; Alexis Saurin (FSCD, 2025)

A Fully Abstract Model of PCF Based on Extended Addressing Machines. - Benedetto Intrigila; Giulio Manzonetto; Nicolas Munnich (Log. Methods Comput. Sci., 2025)

Interaction Equivalence. - Beniamino Accattoli; Adrienne Lancelot; Giulio Manzonetto; Gabriele Vanoni (Proc. ACM Program. Lang., 2025)