Luca Padovani

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luca Ciccone

> Home > Persons > Luca Padovani

Publications

2024
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/CicconeDP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/CicconeDP24
Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair termination of multiparty sessions. J. Log. Algebraic Methods Program. 139: 100964 (2024)
2022
[j24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CicconeP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CicconeP22
Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. Log. Methods Comput. Sci. 18(3) (2022)
[j23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CicconeP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CicconeP22
Luca Ciccone, Luca Padovani:
Fair termination of binary sessions. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022)
[c58]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/concur/CicconeP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/CicconeP22
Luca Ciccone, Luca Padovani:
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CONCUR 2022: 36:1-36:18
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/CicconeDP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/CicconeDP22
Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. ECOOP 2022: 26:1-26:26
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08786
Luca Ciccone, Francesco Dagnino, Luca Padovani:
Fair Termination of Multiparty Sessions. CoRR abs/2205.08786 (2022)
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-03749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-03749
Luca Ciccone, Luca Padovani:
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus. CoRR abs/2207.03749 (2022)
2021
[c55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icalp/CicconeP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/CicconeP21
Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types. ICALP 2021: 125:1-125:16
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2108-01503
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-01503
Luca Ciccone, Luca Padovani:
Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types. CoRR abs/2108.01503 (2021)
2020
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CicconeP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CicconeP20
Luca Ciccone, Luca Padovani:
A Dependently Typed Linear π-Calculus in Agda. PPDP 2020: 8:1-8:14

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.