Pietro Di Gianantonio

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 11

Top Topics

Joint Distribution

Stochastic Optimization Problems

Conditional Distribution

Independent And Identically Distributed

Top Venues

J. Formaliz. Reason.

Publications

Pietro Di Gianantonio, Abbas Edalat
A Cartesian Closed Category for Random Variables. CoRR (2024)
Pietro Di Gianantonio, Abbas Edalat
A Cartesian Closed Category for Random Variables. LICS (2024)
Claude Stolze, Marino Miculan, Pietro Di Gianantonio
Composable partial multiparty session types for open systems. Softw. Syst. Model. 22 (2) (2023)
Pietro Di Gianantonio, Abbas Edalat, Ran Gutin
A language for evaluating derivatives of functionals using automatic differentiation. CoRR (2022)
Pietro Di Gianantonio, Marina Lenisa
Principal Types as Lambda Nets. TYPES (2021)
Claude Stolze, Marino Miculan, Pietro Di Gianantonio
Composable Partial Multiparty Session Types. FACS (2021)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A protoype-based approach to object evolution. J. Object Technol. 20 (2) (2021)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. LFMTP@LICS (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
lambda!-calculus, Intersection Types, and Involutions. FSCD (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. 12 (1) (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A prototype-based approach to object reclassification. CoRR (2018)
Pietro Di Gianantonio, Abbas Edalat
A Language for Differentiable Functions. FoSSaCS (2013)
Pietro Di Gianantonio, Marina Lenisa
Innocent Game Semantics via Intersection Type Assignment Systems. CSL (2013)
Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa
-Calculus. CONCUR (2010)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
RPO, Second-order Contexts, and Lambda-calculus Log. Methods Comput. Sci. 5 (3) (2009)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS (2008)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. WADT (2008)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A type assignment system for game semantics. Theor. Comput. Sci. 398 (1-3) (2008)
Alberto Ciaffaglione, Pietro Di Gianantonio
A certified, corecursive implementation of exact real numbers. Theor. Comput. Sci. 351 (1) (2006)
Pietro Di Gianantonio
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. CSL (2004)
Pietro Di Gianantonio, Pier Luca Lanzi
Lazy Algorithms for Exact Real Arithmetic. Electron. Notes Theor. Comput. Sci. 104 (2004)
C.-H. Luke Ong, Pietro Di Gianantonio
Games characterizing Levy-Longo trees. Theor. Comput. Sci. 312 (1) (2004)
Pietro Di Gianantonio, Marino Miculan
Unifying Recursive and Co-recursive Definitions in Sheaf Categories. FoSSaCS (2004)
Pietro Di Gianantonio, Marino Miculan
A Unifying Approach to Recursive and Co-recursive Definitions. TYPES (2002)
C.-H. Luke Ong, Pietro Di Gianantonio
Games Characterizing Levy-Longo Trees. ICALP (2002)
Pietro Di Gianantonio
Game Semantics for the Pure Lazy lambda-calculus. TLCA (2001)
Alberto Ciaffaglione, Pietro Di Gianantonio
A Tour with Constructive Real Numbers. TYPES (2000)
Pietro Di Gianantonio, Gianluca Franco
The Fine Structure of Game Lambda Models. FSTTCS (2000)
Alberto Ciaffaglione, Pietro Di Gianantonio
A Co-inductive Approach to Real Numbers. TYPES (1999)
Pietro Di Gianantonio
An Abstract Data Type for Real Numbers. Theor. Comput. Sci. 221 (1-2) (1999)
Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
-Calculus. TLCA (1999)
Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA (1998)
Pietro Di Gianantonio
An Abstract Data Type for Real Numbers. ICALP (1997)
Pietro Di Gianantonio
Real Number Computability and Domain Theory. Inf. Comput. 127 (1) (1996)
Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
Uncountable Limits and the lambda Calculus. Nord. J. Comput. 2 (2) (1995)
Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
Countable Non-Determinism and Uncountable Limits. CONCUR (1994)
Pietro Di Gianantonio, Furio Honsell
An Abstract Notion of Application. TLCA (1993)
Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi
Chemical Logic Programming? ICLP Workshop on Blackboard-Based Logic Programming (1993)
Pietro Di Gianantonio
Real Number Computability and Domain Theory. MFCS (1993)