Sfoglia per Autore
An Abstract Notion of Application
1993-01-01 DI GIANANTONIO, Pietro; Honsell, F.
Real Number Computability and Domain Theory
1993-01-01 DI GIANANTONIO, Pietro
Countable Non-Determinism and Uncountable Limits
1994-01-01 DI GIANANTONIO, Pietro; Honsell, F; Liani, S; Plotkin, G.
Countable Non-Determinism and the Lambda-Calculus
1995-01-01 DI GIANANTONIO, Pietro; Honsell, F; Plotkin, G.
Real Number Computability and Domain Theory
1996-01-01 DI GIANANTONIO, Pietro
An Abstract Data Type for Real Numbers
1997-01-01 DI GIANANTONIO, Pietro
A lambda calculus of objects with self-inflicted extension
1998-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L.
Game Semantics for Untyped Lambda-beta-eta-calculus
1999-01-01 DI GIANANTONIO, Pietro; Franco, G; Honsell, F.
An abstract data type for real numbers
1999-01-01 DI GIANANTONIO, Pietro
A Co-inductive Approach to Real Numbers
2000-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
The fine structure of game lambda-models.
2000-01-01 DI GIANANTONIO, Pietro; Franco, Gianluca
Game semantics for the pure lazy lamba calculus
2001-01-01 DI GIANANTONIO, Pietro
A Tour with Constructive Real Numbers
2002-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
Games characterizing Levy-Longo trees.
2002-01-01 DI GIANANTONIO, Pietro; Ong, Luke
A Unifying Approach to Recursive and Co-recursive Definitions
2003-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
Lazy algorithms for exact real arithmetic
2004-01-01 Di Gianantonio, P.; Lanzi, P. L.
Games characterizing Levy-Longo trees
2004-01-01 Ong, Chl; DI GIANANTONIO, Pietro
Unifying Recursive and Co-recursive Definitions in Sheaf Categories
2004-01-01 DI GIANANTONIO, Pietro; Miculan, Marino
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty.
2004-01-01 DI GIANANTONIO, Pietro
A certified, corecursive implementation of exact real numbers
2006-01-01 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
An Abstract Notion of Application | 1-gen-1993 | DI GIANANTONIO, Pietro; Honsell, F. | |
Real Number Computability and Domain Theory | 1-gen-1993 | DI GIANANTONIO, Pietro | |
Countable Non-Determinism and Uncountable Limits | 1-gen-1994 | DI GIANANTONIO, Pietro; Honsell, F; Liani, S; Plotkin, G. | |
Countable Non-Determinism and the Lambda-Calculus | 1-gen-1995 | DI GIANANTONIO, Pietro; Honsell, F; Plotkin, G. | |
Real Number Computability and Domain Theory | 1-gen-1996 | DI GIANANTONIO, Pietro | |
An Abstract Data Type for Real Numbers | 1-gen-1997 | DI GIANANTONIO, Pietro | |
A lambda calculus of objects with self-inflicted extension | 1-gen-1998 | DI GIANANTONIO, Pietro; Honsell, Furio; Liquori, L. | |
Game Semantics for Untyped Lambda-beta-eta-calculus | 1-gen-1999 | DI GIANANTONIO, Pietro; Franco, G; Honsell, F. | |
An abstract data type for real numbers | 1-gen-1999 | DI GIANANTONIO, Pietro | |
A Co-inductive Approach to Real Numbers | 1-gen-2000 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro | |
The fine structure of game lambda-models. | 1-gen-2000 | DI GIANANTONIO, Pietro; Franco, Gianluca | |
Game semantics for the pure lazy lamba calculus | 1-gen-2001 | DI GIANANTONIO, Pietro | |
A Tour with Constructive Real Numbers | 1-gen-2002 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro | |
Games characterizing Levy-Longo trees. | 1-gen-2002 | DI GIANANTONIO, Pietro; Ong, Luke | |
A Unifying Approach to Recursive and Co-recursive Definitions | 1-gen-2003 | DI GIANANTONIO, Pietro; Miculan, Marino | |
Lazy algorithms for exact real arithmetic | 1-gen-2004 | Di Gianantonio, P.; Lanzi, P. L. | |
Games characterizing Levy-Longo trees | 1-gen-2004 | Ong, Chl; DI GIANANTONIO, Pietro | |
Unifying Recursive and Co-recursive Definitions in Sheaf Categories | 1-gen-2004 | DI GIANANTONIO, Pietro; Miculan, Marino | |
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. | 1-gen-2004 | DI GIANANTONIO, Pietro | |
A certified, corecursive implementation of exact real numbers | 1-gen-2006 | Ciaffaglione, Alberto; DI GIANANTONIO, Pietro |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile