Pietro Di Gianantonio

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