Chemical Logic Programming? - Pietro Di Gianantonio; Alessio Guglielmi; Giorgio Levi (ICLP Workshop on Blackboard-Based Logic Programming, 1993)

An Abstract Notion of Application. - Pietro Di Gianantonio; Furio Honsell (TLCA, 1993)

Countable Non-Determinism and Uncountable Limits. - Pietro Di Gianantonio; Furio Honsell; Silvia Liani; Gordon D. Plotkin (CONCUR, 1994)

Uncountable Limits and the lambda Calculus. - Pietro Di Gianantonio; Furio Honsell; Gordon D. Plotkin (Nord. J. Comput., 1995)

Real Number Computability and Domain Theory. - Pietro Di Gianantonio (Inf. Comput., 1996)

A Lambda Calculus of Objects with Self-Inflicted Extension. - Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (OOPSLA, 1998)

Game Semantics for Untyped lambda beta eta-Calculus. - Pietro Di Gianantonio; Gianluca Franco; Furio Honsell (TLCA, 1999)

A Co-inductive Approach to Real Numbers. - Alberto Ciaffaglione; Pietro Di Gianantonio (TYPES, 1999)

An Abstract Data Type for Real Numbers. - Pietro Di Gianantonio (Theor. Comput. Sci., 1999)

The Fine Structure of Game Lambda Models. - Pietro Di Gianantonio; Gianluca Franco (FSTTCS, 2000)

A Tour with Constructive Real Numbers. - Alberto Ciaffaglione; Pietro Di Gianantonio (TYPES, 2000)

Game Semantics for the Pure Lazy lambda-calculus. - Pietro Di Gianantonio (TLCA, 2001)

A Unifying Approach to Recursive and Co-recursive Definitions. - Pietro Di Gianantonio; Marino Miculan (TYPES, 2002)

Lazy Algorithms for Exact Real Arithmetic. - Pietro Di Gianantonio; Pier Luca Lanzi (COMETA, 2003)

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. - Pietro Di Gianantonio (CSL, 2004)

Unifying Recursive and Co-recursive Definitions in Sheaf Categories. - Pietro Di Gianantonio; Marino Miculan (FoSSaCS, 2004)

Games characterizing Levy-Longo trees. - C.-H. Luke Ong; Pietro Di Gianantonio (Theor. Comput. Sci., 2004)

A certified, corecursive implementation of exact real numbers. - Alberto Ciaffaglione; Pietro Di Gianantonio (Theor. Comput. Sci., 2006)

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. - Pietro Di Gianantonio; Furio Honsell; Marina Lenisa (WADT, 2008)

A type assignment system for game semantics. - Pietro Di Gianantonio; Furio Honsell; Marina Lenisa (Theor. Comput. Sci., 2008)

RPO, Second-order Contexts, and Lambda-calculus - Pietro Di Gianantonio; Furio Honsell; Marina Lenisa (Log. Methods Comput. Sci., 2009)

Efficient Bisimilarities from Second-Order Reaction Semantics for pi-Calculus. - Pietro Di Gianantonio; Svetlana Jaksic; Marina Lenisa (CONCUR, 2010)

Innocent Game Semantics via Intersection Type Assignment Systems. - Pietro Di Gianantonio; Marina Lenisa (CSL, 2013)

A Language for Differentiable Functions. - Pietro Di Gianantonio; Abbas Edalat (FoSSaCS, 2013)

A prototype-based approach to object reclassification. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (CoRR, 2018)

lambda!-calculus, Intersection Types, and Involutions. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa; Ivan Scagnetto (FSCD, 2019)

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. - Fabio Alessi; Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa (LFMTP@LICS, 2019)

LF+ in Coq for "fast and loose" reasoning. - Fabio Alessi; Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Marina Lenisa; Ivan Scagnetto (J. Formaliz. Reason., 2019)

Composable Partial Multiparty Session Types. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (FACS, 2021)

Principal Types as Lambda Nets. - Pietro Di Gianantonio; Marina Lenisa (TYPES, 2021)

A protoype-based approach to object evolution. - Alberto Ciaffaglione; Pietro Di Gianantonio; Furio Honsell; Luigi Liquori (J. Object Technol., 2021)

A language for evaluating derivatives of functionals using automatic differentiation. - Pietro Di Gianantonio; Abbas Edalat; Ran Gutin (MFPS, 2022)

Composable partial multiparty session types for open systems. - Claude Stolze; Marino Miculan; Pietro Di Gianantonio (Softw. Syst. Model., 2023)

A Cartesian Closed Category for Random Variables. - Pietro Di Gianantonio; Abbas Edalat (LICS, 2024)

A domain-theoretic framework for conditional probability and Bayesian updating in programming. - Pietro Di Gianantonio; Abbas Edalat (CoRR, 2025)