Pietro Di Gianantonio - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2024

A Cartesian Closed Category for Random VariablesPietro Di Gianantonio, Abbas Edalat. lics 2024: [doi]

2023

Composable partial multiparty session types for open systemsClaude Stolze, Marino Miculan, Pietro Di Gianantonio. SoSyM, 22(2):473-494, April 2023. [doi]

2021

A protoype-based approach to object evolutionAlberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori. jot, 20(2), 2021. [doi]

Principal Types as Lambda NetsPietro Di Gianantonio, Marina Lenisa. TYPES 2022: [doi]

Composable Partial Multiparty Session TypesClaude Stolze, Marino Miculan, Pietro Di Gianantonio. facs2 2021: 44-62 [doi]

2019

LF+ in Coq for "fast and loose" reasoningFabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto. jfrea, 12(1):11-51, 2019. [doi]

lambda!-calculus, Intersection Types, and InvolutionsAlberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto. RTA 2019: [doi]

2013

Innocent Game Semantics via Intersection Type Assignment SystemsPietro Di Gianantonio, Marina Lenisa. csl 2013: 231-247 [doi]

A Language for Differentiable FunctionsPietro Di Gianantonio, Abbas Edalat. fossacs 2013: 337-352 [doi]

2010

Efficient Bisimilarities from Second-Order Reaction Semantics for ::::pi::::-CalculusPietro Di Gianantonio, Svetlana Jaksic, Marina Lenisa. concur 2010: 358-372 [doi]

2008

RPO, Second-Order Contexts, and lambda-CalculusPietro Di Gianantonio, Furio Honsell, Marina Lenisa. fossacs 2008: 334-349 [doi]

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process CalculiPietro Di Gianantonio, Furio Honsell, Marina Lenisa. WADT 2009: 119-134 [doi]

A type assignment system for game semanticsPietro Di Gianantonio, Furio Honsell, Marina Lenisa. TCS, 398(1-3):150-169, 2008. [doi]

2006

A certified, corecursive implementation of exact real numbersAlberto Ciaffaglione, Pietro Di Gianantonio. TCS, 351(1):39-51, 2006. [doi]

2004

Structures for Multiplicative Cyclic Linear Logic: Deepness vs CyclicityPietro Di Gianantonio. csl 2004: 130-144 [doi]

Lazy Algorithms for Exact Real ArithmeticPietro Di Gianantonio, Pier Luca Lanzi. ENTCS, 104:113-128, 2004. [doi]

Unifying Recursive and Co-recursive Definitions in Sheaf CategoriesPietro Di Gianantonio, Marino Miculan. fossacs 2004: 136-150 [doi]

Games characterizing Levy-Longo treesC.-H. Luke Ong, Pietro Di Gianantonio. TCS, 312(1):121-142, 2004. [doi]

2002

A Unifying Approach to Recursive and Co-recursive DefinitionsPietro Di Gianantonio, Marino Miculan. TYPES 2003: 148-161 [doi]

Games Characterizing Levy-Longo TreesC.-H. Luke Ong, Pietro Di Gianantonio. icalp 2002: 476-487 [doi]

2001

Game Semantics for the Pure Lazy lambda-calculusPietro Di Gianantonio. tlca 2001: 106-120 [doi]

2000

A Tour with Constructive Real NumbersAlberto Ciaffaglione, Pietro Di Gianantonio. TYPES 2002: 41-52 [doi]

The Fine Structure of Game Lambda ModelsPietro Di Gianantonio, Gianluca Franco. fsttcs 2000: 429-441 [doi]

1999

A Co-inductive Approach to Real NumbersAlberto Ciaffaglione, Pietro Di Gianantonio. TYPES 2000: 114-130 [doi]

Game Semantics for Untyped ::::lambda beta eta::::-CalculusPietro Di Gianantonio, Gianluca Franco, Furio Honsell. tlca 1999: 114-128 [doi]

An Abstract Data Type for Real NumbersPietro Di Gianantonio. TCS, 221(1-2):295-326, 1999. [doi]

1998

A Lambda Calculus of Objects with Self-Inflicted ExtensionPietro Di Gianantonio, Furio Honsell, Luigi Liquori. OOPSLA 1998: 166-178 [doi]

1997

An Abstract Data Type for Real NumbersPietro Di Gianantonio. icalp 1997: 121-131

1996

Real Number Computability and Domain TheoryPietro Di Gianantonio. iandc, 127(1):11-25, 1996.

1995

Uncountable Limits and the lambda CalculusPietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin. njc, 2(2):126-145, 1995.

1994

Countable Non-Determinism and Uncountable LimitsPietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin. concur 1994: 130-145

1993

Chemical Logic Programming?Pietro Di Gianantonio, Alessio Guglielmi, Giorgio Levi. ICLP 1993:

Real Number Computability and Domain TheoryPietro Di Gianantonio. mfcs 1993: 413-422

An Abstract Notion of ApplicationPietro Di Gianantonio, Furio Honsell. tlca 1993: 124-138

Sign in or sign up to see more results.

runs on WebDSL