Pietro Di Gianantonio

According to our database, Pietro Di Gianantonio authored at least 34 papers between 1993 and 2024.

Collaborative distances:

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

2024

A Cartesian Closed Category for Random Variables.

Pietro Di Gianantonio, Abbas Edalat

CoRR, 2024

2023

Composable partial multiparty session types for open systems.

Claude Stolze, Marino Miculan, Pietro Di Gianantonio

Softw. Syst. Model., April, 2023

2022

A language for evaluating derivatives of functionals using automatic differentiation.

Pietro Di Gianantonio, Abbas Edalat, Ran Gutin

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

2021

A protoype-based approach to object evolution.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

J. Object Technol., 2021

Principal Types as Lambda Nets.

Pietro Di Gianantonio, Marina Lenisa

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Composable Partial Multiparty Session Types.

Claude Stolze, Marino Miculan, Pietro Di Gianantonio

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

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

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

Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

lambda!-calculus, Intersection Types, and Involutions.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

A prototype-based approach to object reclassification.

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

CoRR, 2018

2013

A Language for Differentiable Functions.

Pietro Di Gianantonio, Abbas Edalat

Proceedings of the Foundations of Software Science and Computation Structures, 2013

Innocent Game Semantics via Intersection Type Assignment Systems.

Pietro Di Gianantonio, Marina Lenisa

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2010

Efficient Bisimilarities from Second-Order Reaction Semantics for <i>pi</i>-Calculus.

Pietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

RPO, Second-order Contexts, and Lambda-calculus

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Log. Methods Comput. Sci., 2009

2008

A type assignment system for game semantics.

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Theor. Comput. Sci., 2008

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.

Pietro Di Gianantonio, Furio Honsell, Marina Lenisa

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2006

A certified, corecursive implementation of exact real numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Theor. Comput. Sci., 2006

2004

Games characterizing Levy-Longo trees.

C.-H. Luke Ong, Pietro Di Gianantonio

Theor. Comput. Sci., 2004

Unifying Recursive and Co-recursive Definitions in Sheaf Categories.

Pietro Di Gianantonio, Marino Miculan

Proceedings of the Foundations of Software Science and Computation Structures, 2004

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.

Pietro Di Gianantonio

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

Lazy Algorithms for Exact Real Arithmetic.

Pietro Di Gianantonio, Pier Luca Lanzi

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002

A Unifying Approach to Recursive and Co-recursive Definitions.

Pietro Di Gianantonio, Marino Miculan

Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001

Game Semantics for the Pure Lazy lambda-calculus.

Pietro Di Gianantonio

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

A Tour with Constructive Real Numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Proceedings of the Types for Proofs and Programs, International Workshop, 2000

The Fine Structure of Game Lambda Models.

Pietro Di Gianantonio, Gianluca Franco

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

An Abstract Data Type for Real Numbers.

Pietro Di Gianantonio

Theor. Comput. Sci., 1999

A Co-inductive Approach to Real Numbers.

Alberto Ciaffaglione, Pietro Di Gianantonio

Proceedings of the Types for Proofs and Programs, 1999

Game Semantics for Untyped <i>lambda beta eta</i>-Calculus.

Pietro Di Gianantonio, Gianluca Franco, Furio Honsell

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

A Lambda Calculus of Objects with Self-Inflicted Extension.

Pietro Di Gianantonio, Furio Honsell, Luigi Liquori

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1996

Real Number Computability and Domain Theory.

Pietro Di Gianantonio

Inf. Comput., 1996

1995

Uncountable Limits and the lambda Calculus.

Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin

Nord. J. Comput., 1995

1994

Countable Non-Determinism and Uncountable Limits.

Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin

Proceedings of the CONCUR '94, 1994

1993

An Abstract Notion of Application.

Pietro Di Gianantonio, Furio Honsell

Proceedings of the Typed Lambda Calculi and Applications, 1993

Chemical Logic Programming?

Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi

Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, 1993