Pietro Di Gianantonio

Orcid: 0000-0002-0638-4610

Affiliations:
  • University of Udine, Italy


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Cartesian Closed Category for Random Variables.
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023
Composable partial multiparty session types for open systems.
Softw. Syst. Model., April, 2023

2022
A language for evaluating derivatives of functionals using automatic differentiation.
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021
A protoype-based approach to object evolution.
J. Object Technol., 2021

Principal Types as Lambda Nets.
Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

Composable Partial Multiparty Session Types.
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2019
LF+ in Coq for "fast and loose" reasoning.
J. Formaliz. Reason., 2019

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning.
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2019

lambda!-calculus, Intersection Types, and Involutions.
Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018
A prototype-based approach to object reclassification.
CoRR, 2018

2013
A Language for Differentiable Functions.
Proceedings of the Foundations of Software Science and Computation Structures, 2013

Innocent Game Semantics via Intersection Type Assignment Systems.
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2010
Efficient Bisimilarities from Second-Order Reaction Semantics for <i>pi</i>-Calculus.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009
RPO, Second-order Contexts, and Lambda-calculus
Log. Methods Comput. Sci., 2009

2008
A type assignment system for game semantics.
Theor. Comput. Sci., 2008

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

2006
A certified, corecursive implementation of exact real numbers.
Theor. Comput. Sci., 2006

2004
Games characterizing Levy-Longo trees.
Theor. Comput. Sci., 2004

Unifying Recursive and Co-recursive Definitions in Sheaf Categories.
Proceedings of the Foundations of Software Science and Computation Structures, 2004

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Lazy Algorithms for Exact Real Arithmetic.
Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002
A Unifying Approach to Recursive and Co-recursive Definitions.
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001
Game Semantics for the Pure Lazy lambda-calculus.
Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000
A Tour with Constructive Real Numbers.
Proceedings of the Types for Proofs and Programs, International Workshop, 2000

The Fine Structure of Game Lambda Models.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999
An Abstract Data Type for Real Numbers.
Theor. Comput. Sci., 1999

A Co-inductive Approach to Real Numbers.
Proceedings of the Types for Proofs and Programs, 1999

Game Semantics for Untyped <i>lambda beta eta</i>-Calculus.
Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998
A Lambda Calculus of Objects with Self-Inflicted Extension.
Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

1996
Real Number Computability and Domain Theory.
Inf. Comput., 1996

1995
Uncountable Limits and the lambda Calculus.
Nord. J. Comput., 1995

1994
Countable Non-Determinism and Uncountable Limits.
Proceedings of the CONCUR '94, 1994

1993
An Abstract Notion of Application.
Proceedings of the Typed Lambda Calculi and Applications, 1993

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


  Loading...