IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 33
Titolo Data di pubblicazione Autore(i) File
Real Number Computability and Domain Theory 1-gen-1993 DI GIANANTONIO, Pietro
An Abstract Notion of Application 1-gen-1993 DI GIANANTONIO, Pietro; Honsell, F.
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.
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicty. 1-gen-2004 DI GIANANTONIO, Pietro
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
A certified, corecursive implementation of exact real numbers 1-gen-2006 Ciaffaglione, Alberto; DI GIANANTONIO, Pietro
Mostrati risultati da 1 a 20 di 33
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