( en | de | ru )

 

Disambiguation of "Gianantonio, Pietro Di"

Author of the publication

copydeleteadd this publication to your clipboard
A Cartesian Closed Category for Random Variables.

, and . LICS, page 32:1-32:14. ACM, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pietro Di Stefano

Pietro Di Stefano

Simone Di Pietro

Dania Di Pietro Paolo

Pietro Cavallotti

 

Other publications of authors with the same name

Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.. CSL, volume 3210 of Lecture Notes in Computer Science, page 130-144. Springer, (2004)Game Semantics for the Pure Lazy lambda-calculus.. TLCA, volume 2044 of Lecture Notes in Computer Science, page 106-120. Springer, (2001)Innocent Game Semantics via Intersection Type Assignment Systems., and . CSL, volume 23 of LIPIcs, page 231-247. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)A protoype-based approach to object evolution., , , and . J. Object Technol., 20 (2): 4:1-24 (2021)Principal Types as Lambda Nets., and . TYPES, volume 239 of LIPIcs, page 5:1-5:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)An Abstract Notion of Application., and . TLCA, volume 664 of Lecture Notes in Computer Science, page 124-138. Springer, (1993)A Cartesian Closed Category for Random Variables., and . LICS, page 32:1-32:14. ACM, (2024)An Abstract Data Type for Real Numbers.. ICALP, volume 1256 of Lecture Notes in Computer Science, page 121-131. Springer, (1997)Game Semantics for Untyped lambda beta eta-Calculus., , and . TLCA, volume 1581 of Lecture Notes in Computer Science, page 114-128. Springer, (1999)RPO, Second-Order Contexts, and lambda-Calculus., , and . FoSSaCS, volume 4962 of Lecture Notes in Computer Science, page 334-349. Springer, (2008)