Sfoglia per Autore
Categories of Coalgebraic Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Unfixing the Fixpoint: the theories of the lambdaY-calculus
2013-01-01 Honsell, Furio; Lenisa, Marina
Innocent game semantics via intersection type assignment systems
2013-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
Categories of Coalgebraic Games with Selective Sum
2014-01-01 Honsell, Furio; Lenisa, Marina; Pellarini, D.
Coalgebraic Multigames
2014-01-01 Lenisa, Marina
Multigames and strategies, coalgebraically
2015-01-01 Lenisa, Marina
Implementing cantor’s paradise
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
An Open Logical Framework
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan
The involutions-as-principal types/ application-as-unification analogy
2018-01-01 Ciaffaglione, A.; 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.
LF+ in Coq for fast-and-loose reasoning
2019-01-01 Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I
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.
Λ-symsym: An interactive tool for playing with involutions and types
2021-01-01 Honsell, F.; Lenisa, M.; Scagnetto, I.
On Quantitative Algebraic Higher-Order Theories
2022-01-01 Lago, U. D.; Honsell, F.; Lenisa, M.; Pistone, P.
Principal Types as Lambda Nets
2022-01-01 DI GIANANTONIO, Pietro; Lenisa, Marina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Categories of Coalgebraic Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Unfixing the Fixpoint: the theories of the lambdaY-calculus | 1-gen-2013 | Honsell, Furio; Lenisa, Marina | |
| Innocent game semantics via intersection type assignment systems | 1-gen-2013 | DI GIANANTONIO, Pietro; Lenisa, Marina | |
| Categories of Coalgebraic Games with Selective Sum | 1-gen-2014 | Honsell, Furio; Lenisa, Marina; Pellarini, D. | |
| Coalgebraic Multigames | 1-gen-2014 | Lenisa, Marina | |
| Multigames and strategies, coalgebraically | 1-gen-2015 | Lenisa, Marina | |
| Implementing cantor’s paradise | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
| An Open Logical Framework | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, L.; Maksimovic, P.; Scagnetto, Ivan | |
| The involutions-as-principal types/ application-as-unification analogy | 1-gen-2018 | Ciaffaglione, A.; 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. | |
| LF+ in Coq for fast-and-loose reasoning | 1-gen-2019 | Alessi, F; Ciaffaglione, A; Di Gianantonio, P; Honsell, F; Lenisa, M; Scagnetto, I | |
| 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. | |
| Λ-symsym: An interactive tool for playing with involutions and types | 1-gen-2021 | Honsell, F.; Lenisa, M.; Scagnetto, I. | |
| On Quantitative Algebraic Higher-Order Theories | 1-gen-2022 | Lago, U. D.; Honsell, F.; Lenisa, M.; Pistone, P. | |
| Principal Types as Lambda Nets | 1-gen-2022 | DI GIANANTONIO, Pietro; Lenisa, Marina |
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