( 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 . CoRR, (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 Moretto

 

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)Real Number Computability and Domain Theory.. Inf. Comput., 127 (1): 11-25 (1996)A protoype-based approach to object evolution., , , and . J. Object Technol., 20 (2): 4:1-24 (2021)A Cartesian Closed Category for Random Variables., and . CoRR, (2024)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)Principal Types as Lambda Nets., and . TYPES, volume 239 of LIPIcs, page 5:1-5:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)A language for evaluating derivatives of functionals using automatic differentiation., , and . MFPS, volume 3 of EPTICS, EpiSciences, (2022)An Abstract Notion of Application., and . TLCA, volume 664 of Lecture Notes in Computer Science, page 124-138. Springer, (1993)RPO, Second-order Contexts, and Lambda-calculus, , and . Logical Methods in Computer Science, (2009)