DI GIANANTONIO, Pietro

DI GIANANTONIO, Pietro  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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
Game Semantics for Untyped Lambda-beta-eta-calculus 1-gen-1999 DI GIANANTONIO, Pietro; Franco, G; Honsell, F.
Games characterizing Levy-Longo trees 1-gen-2004 Ong, Chl; DI GIANANTONIO, Pietro