CICCONE, LUCA
CICCONE, LUCA
INFORMATICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
Concerto Grosso for Sessions Fair Termination of Sessions
2023-05-11
Fair Termination of Binary Sessions
2022-01-01 Ciccone, Luca; Padovani, Luca
Flexible coinduction in Agda
2021-01-01 Ciccone L.; Dagnino F.; Zucca E.
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types
2021-01-01 Luca Ciccone; Luca Padovani
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Dependently-Typed Linear π -Calculus in Agda | 2020 | Luca Ciccone; Luca Padovani | |
Concerto Grosso for Sessions Fair Termination of Sessions | 2023 | - | |
Fair Termination of Binary Sessions | 2022 | Ciccone, Luca; Padovani, Luca | |
Flexible coinduction in Agda | 2021 | Ciccone L.; Dagnino F.; Zucca E. | |
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types | 2021 | Luca Ciccone; Luca Padovani |