IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 51 a 70 di 70
Titolo Data di pubblicazione Autore(i) File
LaxF: Side Conditions and External Evidence as Monads 1-gen-2014 Honsell, Furio; L., Liquori; Scagnetto, Ivan
Categories of Coalgebraic Games with Selective Sum 1-gen-2014 Honsell, Furio; Lenisa, Marina; Pellarini, D.
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 1-gen-2015 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
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
L'esperienza di ePart: note sulla digitalizzazione della PA tra partecipazione dei cittadini e trasformazioni della burocrazia 1-gen-2017 Giacomini, Gabriele; Honsell, Furio; Fortunati, Leopoldina
Sexual health and contraception. A three years survey on Italian students’ knowledge and behaviours 1-gen-2017 Lesa, L; Romanese, F; Brunelli, L; Bastiani, E; Pascut, S; Zaccurri, L; Uliana, C; Volpe, R; Honsell, F; Brusaferro, S
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 1-gen-2017 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
Sexual health knowledge and its promotion in adolescents: three years of interventions in Udine 1-gen-2017 Romanese, F; Lesa, L; Brunelli, L; Bastiani, E; Pascut, S; Zaccurri, L; Uliana, C; Volpe, R; Honsell, F; Brusaferro, S
Towards a logical framework with intersection and union types 1-gen-2017 Stolze, Claude; Liquori, Luigi; Honsell, Furio; Scagnetto, Ivan
The ∆-framework 1-gen-2018 Honsell, F.; Liquori, L.; Stolze, C.; Scagnetto, I.
The involutions-as-principal types/ application-as-unification analogy 1-gen-2018 Ciaffaglione, A.; Honsell, F.; Lenisa, M.; Scagnetto, I.
Social robots as cultural objects. The sixth dimension of dynamicity? 1-gen-2018 Fortunati, L.; Sarrica, M.; Ferrin, G.; Brondi, S.; Honsell, F.
Plugging-in proof development environments using Locks in LF 1-gen-2018 Honsell, Furio; Liquori, Luigi; Maksimović, Petar; Scagnetto, Ivan
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.
You need to show that you are not a robot 1-gen-2019 Fortunati, Leopoldina; Manganelli, Anna Maria; Cavallo, Filippo; Honsell, Furio
Λ!-calculus, intersection types, and involutions 1-gen-2019 Ciaffaglione, A.; Di Gianantonio, P.; Honsell, F.; Lenisa, M.; Scagnetto, I.
Λ-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.
Mostrati risultati da 51 a 70 di 70
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