Pietro Di Gianantonio

Available identifiers

zbMath Open di-gianantonio.pietroMaRDI QIDQ817857

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5089015	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
https://portal.mardi4nfdi.de/entity/Q2958525	2017-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q2847781	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pietro Di Gianantonio