CICCONE, LUCA
CICCONE, LUCA
INFORMATICA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
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 | |
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 |