Sfoglia per Autore
Towards a model of corecursion with default
2016-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Extending coinductive logic programming with co-facts
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Generalizing inference systems by coaxioms
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Reasoning on Divergent Computations with Coaxioms
2017-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
:DRHOP, A Platform Proposal for Online Charity
2018-01-01 Dagnino, Francesco; Ribaudo, Marina
Modeling Infinite Behaviour by Corules
2018-01-01 Ancona, Davide; Dagnino, Francesco; Zucca, Elena
Flexible coinduction for infinite behaviour
2018-01-01 Dagnino, F.
A formalism for specification of Java API interfaces
2018-01-01 Ancona, D.; Dagnino, F.; Franceschini, L.
Corecursive featherweight Java revisited
2019-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D.
Coaxioms: Flexible coinductive definitions by inference systems
2019-01-01 Dagnino, F.
A framework for big-step semantics
2019-01-01 Dagnino, F.
An inductive abstract semantics for coFJ
2020-01-01 Barbieri, P.; Dagnino, F.; Zucca, E.
Soundness Conditions for Big-Step Semantics
2020-01-01 Dagnino, F.; Bono, V.; Zucca, E.; Dezani-Ciancaglini, M.
Flexible coinductive logic programming
2020-01-01 Dagnino, F.; Ancona, D.; Zucca, E.
Sound Regular Corecursion in coFJ
2020-01-01 Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena
A big step from finite to infinite computations
2020-01-01 Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E.
Asynchronous Global Types in Co-logic Programming
2021-01-01 Bianchini, R.; Dagnino, F.
Doctrines, modalities and comonads
2021-01-01 Dagnino, Francesco; Rosolini, Giuseppe
Deconfined Global Types for Asynchronous Sessions
2021-01-01 Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M.
Flexible coinduction in Agda
2021-01-01 Ciccone, L.; Dagnino, F.; Zucca, E.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Towards a model of corecursion with default | 1-gen-2016 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
Extending coinductive logic programming with co-facts | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
Generalizing inference systems by coaxioms | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
Reasoning on Divergent Computations with Coaxioms | 1-gen-2017 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
:DRHOP, A Platform Proposal for Online Charity | 1-gen-2018 | Dagnino, Francesco; Ribaudo, Marina | |
Modeling Infinite Behaviour by Corules | 1-gen-2018 | Ancona, Davide; Dagnino, Francesco; Zucca, Elena | |
Flexible coinduction for infinite behaviour | 1-gen-2018 | Dagnino, F. | |
A formalism for specification of Java API interfaces | 1-gen-2018 | Ancona, D.; Dagnino, F.; Franceschini, L. | |
Corecursive featherweight Java revisited | 1-gen-2019 | Barbieri, P.; Dagnino, F.; Zucca, E.; Ancona, D. | |
Coaxioms: Flexible coinductive definitions by inference systems | 1-gen-2019 | Dagnino, F. | |
A framework for big-step semantics | 1-gen-2019 | Dagnino, F. | |
An inductive abstract semantics for coFJ | 1-gen-2020 | Barbieri, P.; Dagnino, F.; Zucca, E. | |
Soundness Conditions for Big-Step Semantics | 1-gen-2020 | Dagnino, F.; Bono, V.; Zucca, E.; Dezani-Ciancaglini, M. | |
Flexible coinductive logic programming | 1-gen-2020 | Dagnino, F.; Ancona, D.; Zucca, E. | |
Sound Regular Corecursion in coFJ | 1-gen-2020 | Ancona, Davide; Barbieri, Pietro; Dagnino, Francesco; Zucca, Elena | |
A big step from finite to infinite computations | 1-gen-2020 | Ancona, D.; Dagnino, F.; Rot, J.; Zucca, E. | |
Asynchronous Global Types in Co-logic Programming | 1-gen-2021 | Bianchini, R.; Dagnino, F. | |
Doctrines, modalities and comonads | 1-gen-2021 | Dagnino, Francesco; Rosolini, Giuseppe | |
Deconfined Global Types for Asynchronous Sessions | 1-gen-2021 | Dagnino, F.; Giannini, P.; Dezani-Ciancaglini, M. | |
Flexible coinduction in Agda | 1-gen-2021 | Ciccone, L.; Dagnino, F.; Zucca, E. |
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