DI GIANANTONIO, Pietro
DI GIANANTONIO, Pietro
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
A Cartesian Closed Category for Random Variables
2024-01-01 Di Gianantonio, P.; Edalat, A.
A certified, corecursive implementation of exact real numbers
2006-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
A Co-inductive Approach to Real Numbers
2000-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning
2019-01-01 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
A lambda calculus of objects with self-inflicted extension
1998-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L.
A language for differentiable functions
2013-01-01 DI GIANANTONIO, Pietro; Abbas, Edalat
A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation
2023-01-01 Di Gianantonio, Pietro; Edalat, Abbas; Gutin, Ran
A Tour with Constructive Real Numbers
2002-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A Unifying Approach to Recursive and Co-recursive Definitions
2003-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
An abstract data type for real numbers
1999-01-01 DI GIANANTONIO, Pietro
An Abstract Data Type for Real Numbers
1997-01-01 DI GIANANTONIO, Pietro
An Abstract Notion of Application
1993-01-01 DI GIANANTONIO, Pietro; Honsell, F.
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Composable partial multiparty session types for open systems
2022-01-01 Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro
Countable Non-Determinism and the Lambda-Calculus
1995-01-01 DI GIANANTONIO, Pietro; Honsell, F; Plotkin, G.
Countable Non-Determinism and Uncountable Limits
1994-01-01 DI GIANANTONIO, Pietro; Honsell, F; Liani, S; Plotkin, G.
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus
2010-01-01 DI GIANANTONIO, Pietro; Jaksic, Svetlana; Lenisa, Marina
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
2009-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Game semantics for the pure lazy lamba calculus
2001-01-01 DI GIANANTONIO, Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Cartesian Closed Category for Random Variables | 1-gen-2024 | Di Gianantonio, P.; Edalat, A. | |
| A certified, corecursive implementation of exact real numbers | 1-gen-2006 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro | |
| A Co-inductive Approach to Real Numbers | 1-gen-2000 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro | |
| A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning | 1-gen-2019 | Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M. | |
| A lambda calculus of objects with self-inflicted extension | 1-gen-1998 | DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L. | |
| A language for differentiable functions | 1-gen-2013 | DI GIANANTONIO, Pietro; Abbas, Edalat | |
| A Language for Evaluating Derivatives of Functionals Using Automatic Differentiation | 1-gen-2023 | Di Gianantonio, Pietro; Edalat, Abbas; Gutin, Ran | |
| A Tour with Constructive Real Numbers | 1-gen-2002 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro | |
| A type assignment system for game semantics | 1-gen-2008 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
| A Unifying Approach to Recursive and Co-recursive Definitions | 1-gen-2003 | DI GIANANTONIO, Pietro; Miculan, Marino | |
| An abstract data type for real numbers | 1-gen-1999 | DI GIANANTONIO, Pietro | |
| An Abstract Data Type for Real Numbers | 1-gen-1997 | DI GIANANTONIO, Pietro | |
| An Abstract Notion of Application | 1-gen-1993 | DI GIANANTONIO, Pietro; Honsell, F. | |
| Composable Partial Multiparty Session Types | 1-gen-2021 | Stolze, C.; Miculan, M.; Di Gianantonio, P. | |
| Composable partial multiparty session types for open systems | 1-gen-2022 | Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro | |
| Countable Non-Determinism and the Lambda-Calculus | 1-gen-1995 | DI GIANANTONIO, Pietro; Honsell, F; Plotkin, G. | |
| Countable Non-Determinism and Uncountable Limits | 1-gen-1994 | DI GIANANTONIO, Pietro; Honsell, F; Liani, S; Plotkin, G. | |
| Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus | 1-gen-2010 | DI GIANANTONIO, Pietro; Jaksic, Svetlana; Lenisa, Marina | |
| Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi | 1-gen-2009 | DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina | |
| Game semantics for the pure lazy lamba calculus | 1-gen-2001 | DI GIANANTONIO, Pietro |