Pietro Di Gianantonio

Available identifiers

zbMath Open di-gianantonio.pietroMaRDI QIDQ817857

List of research outcomes

Publication	Date of Publication	Type
Principal types as \(\lambda\) nets	2024-08-01	Paper
lambda!-calculus, Intersection Types, and Involutions	2022-07-18	Paper
LF+ in Coq for "fast and loose" reasoning	2020-01-21	Paper
An abstract data type for real numbers	2018-07-04	Paper
Innocent Game Semantics via Intersection Type Assignment Systems	2017-02-02	Paper
Lazy algorithms for exact real arithmetic	2013-09-11	Paper
A Language for Differentiable Functions	2013-03-18	Paper
Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus	2010-08-31	Paper
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi	2009-10-22	Paper
RPO, Second-order Contexts, and Lambda-calculus	2009-08-20	Paper
A type assignment system for game semantics	2008-06-24	Paper
RPO, Second-Order Contexts, and λ-Calculus	2008-04-11	Paper
Foundations of Software Science and Computation Structures	2007-09-28	Paper
A certified, corecursive implementation of exact real numbers	2006-03-20	Paper
Computer Science Logic	2005-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q4736388	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4472465	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4435467	2003-11-12	Paper
https://portal.mardi4nfdi.de/entity/Q2766803	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q2778818	2002-03-21	Paper
An abstract data type for real numbers	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4263866	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4260387	1999-09-19	Paper
Real number computability and domain theory	1997-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4847018	1996-06-25	Paper
https://portal.mardi4nfdi.de/entity/Q4281469	1994-03-10	Paper

Research outcomes over time

This page was built for person: Pietro Di Gianantonio