CICCONE, LUCA
CICCONE, LUCA
INFORMATICA
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.009 secondi).
A Dependently-Typed Linear π -Calculus in Agda
2020-01-01 Luca Ciccone; Luca Padovani
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus
2022-01-01 Ciccone L.; Padovani L.
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 | |
| An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus | 2022 | Ciccone L.; Padovani L. | |
| 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 |