E-LIB Suche - Ergebnisse für: Di Gianantonio, Pietro

1

A Cartesian Closed Category for Random Variables:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Di Gianantonio, Pietro ; Edalat, Abbas - p. 1-14 , 2024

2

A Language for Evaluating Derivatives of Functionals Using ..:

Di Gianantonio, Pietro ; Edalat, Abbas ; Gutin, Ran
Electronic Notes in Theoretical Informatics and Computer Science. 3 - Proceedings of (2023) - p. , 2023

Link: https://doi.org/10.46298..

3

Composable partial multiparty session types for open system:

Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
Software and Systems Modeling. 22 (2022) 2 - p. 473-494 , 2022

Link: https://doi.org/10.1007/..

4

Composable Partial Multiparty Session Types:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro - p. 44-62 , 2021

Link: https://doi.org/10.1007/..

5

A type assignment system for game semantics:

Di Gianantonio, Pietro ; Honsell, Furio ; Lenisa, Marina
Theoretical Computer Science. 398 (2008) 1-3 - p. 150-169 , 2008

Link: https://doi.org/10.1016/..

6

A certified, corecursive implementation of exact real numbe..:

Ciaffaglione, Alberto ; Di Gianantonio, Pietro
Theoretical Computer Science. 351 (2006) 1 - p. 39-51 , 2006

Link: https://doi.org/10.1016/..

7

Lazy Algorithms for Exact Real Arithmetic:

Di Gianantonio, Pietro ; Lanzi, Pier Luca
Electronic Notes in Theoretical Computer Science. 104 (2004) - p. 113-128 , 2004

Link: https://doi.org/10.1016/..

8

An abstract data type for real numbers:

Di Gianantonio, Pietro
Theoretical Computer Science. 221 (1999) 1-2 - p. 295-326 , 1999

Link: https://doi.org/10.1016/..

9

A lambda calculus of objects with self-inflicted extension:

Di Gianantonio, Pietro ; Honsell, Furio ; Liquori, Luigi
ACM SIGPLAN Notices. 33 (1998) 10 - p. 166-178 , 1998

Link: https://doi.org/10.1145/..

10

A lambda calculus of objects with self-inflicted extension:

, In: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications,

Di Gianantonio, Pietro ; Honsell, Furio ; Liquori, Luigi - p. 166-178 , 1998

Link: https://dl.acm.org/doi/1..

11

Real Number Computability and Domain Theory:

Di Gianantonio, Pietro
Information and Computation. 127 (1996) 1 - p. 11-25 , 1996

Link: https://doi.org/10.1006/..

12

Composable partial multiparty session types for open system:

Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
info:eu-repo/semantics/altIdentifier/wos/WOS:000860428700001. , 2022

Link: https://hdl.handle.net/1..

13

A Language for Evaluating Derivatives of Functionals Using ..:

Di Gianantonio, Pietro ; Edalat, Abbas ; Gutin, Ran
http://arxiv.org/abs/2210.06095. , 2022

Link: http://arxiv.org/abs/221..

14

Principal Types as Lambda Nets:

Di Gianantonio, Pietro ; Lenisa, Marina
doi:10.4230/LIPIcs.TYPES.2021.5. , 2022

Link: https://doi.org/10.4230/..

15

Principal Types as Lambda Nets:

Gianantonio, Pietro ; Lenisa, Marina
hal-03271929. , 2021

Link: https://hal.archives-ouv..