IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 33 di 33
Titolo Data di pubblicazione Autore(i) File
RPO, Second-Order Contexts, and λ-Calculus 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
A type assignment system for game semantics 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.
Λ!-calculus, intersection types, and involutions 1-gen-2019 Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.; Scagnetto, I.
LF+ in Coq for fast-and-loose reasoning 1-gen-2019 Alessi, F; 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
Mostrati risultati da 21 a 33 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