Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
2021-01-01 Luca Ciccone; Luca Padovani
Flexible coinduction in Agda
2021-01-01 Ciccone L.; Dagnino F.; Zucca E.
Fair Termination of Binary Sessions
2022-01-01 Ciccone, Luca; Padovani, Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Dependently-Typed Linear π -Calculus in Agda | 2020 | Luca Ciccone; Luca Padovani | |
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types | 2021 | Luca Ciccone; Luca Padovani | |
Flexible coinduction in Agda | 2021 | Ciccone L.; Dagnino F.; Zucca E. | |
Fair Termination of Binary Sessions | 2022 | Ciccone, Luca; Padovani, Luca |
Mostrati risultati da 1 a 4 di 4
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