IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 34 di 34
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.
An abstract data type for real numbers 1-gen-1999 DI GIANANTONIO, Pietro
Game Semantics for Untyped Lambda-beta-eta-calculus 1-gen-1999 DI GIANANTONIO, Pietro; Franco, G; Honsell, F.
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
RPO, second-order contexts, and λ-calculus 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A type assignment system for game semantics 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
RPO, Second-Order Contexts, and λ-Calculus 1-gen-2008 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 1-gen-2009 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 1-gen-2010 DI GIANANTONIO, Pietro; Jaksic, Svetlana; Lenisa, Marina
A language for differentiable functions 1-gen-2013 DI GIANANTONIO, Pietro; Abbas, Edalat
Innocent game semantics via intersection type assignment systems 1-gen-2013 DI GIANANTONIO, Pietro; Lenisa, Marina
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.
LF+ in Coq for fast-and-loose reasoning 1-gen-2019 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Λ!-calculus, intersection types, and involutions 1-gen-2019 Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.; Scagnetto, I.
Composable Partial Multiparty Session Types 1-gen-2021 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Principal Types as Lambda Nets 1-gen-2022 DI GIANANTONIO, Pietro; Lenisa, Marina
Composable partial multiparty session types for open systems 1-gen-2022 Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro
A Cartesian Closed Category for Random Variables 1-gen-2024 Di Gianantonio, P.; Edalat, A.
Mostrati risultati da 1 a 34 di 34
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