Sfoglia per Autore
RPO, second-order contexts, and λ-calculus
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
RPO, Second-Order Contexts, and λ-Calculus
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
A type assignment system for game semantics
2008-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
2009-01-01 DI GIANANTONIO, Pietro; Honsell, Furio; Lenisa, Marina
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus
2010-01-01 DI GIANANTONIO, Pietro; Jaksic, Svetlana; Lenisa, Marina
Innocent game semantics via intersection type assignment systems
2013-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
A language for differentiable functions
2013-01-01 DI GIANANTONIO, Pietro; Abbas, Edalat
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning
2019-01-01 Alessi, F.; Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.
LF+ in Coq for fast-and-loose reasoning
2019-01-01 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
Λ!-calculus, intersection types, and involutions
2019-01-01 Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.; Scagnetto, I.
Composable Partial Multiparty Session Types
2021-01-01 Stolze, C.; Miculan, M.; Di Gianantonio, P.
Principal Types as Lambda Nets
2022-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
Composable partial multiparty session types for open systems
2022-01-01 Stolze, Claude; Miculan, Marino; Di Gianantonio, Pietro
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 | |
Innocent game semantics via intersection type assignment systems | 1-gen-2013 | DI GIANANTONIO, Pietro; Lenisa, Marina | |
A language for differentiable functions | 1-gen-2013 | DI GIANANTONIO, Pietro; Abbas, Edalat | |
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 |
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