Pubblicazioni

• 1 . A Logical Account of Subtyping for Session Types
  Horne, Ross; Padovani, Luca
  ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE;2023;Vol. 378;Pages:26 -37 [ Contributo in atto di convegno su rivista ]
• 2 . EXPRESSing Session Types
  Castellani, Ilaria; Dardha, Ornela; Padovani, Luca; Sangiorgi, Davide
  ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE;2023;Vol. 387;Pages:8 -25 [ Contributo in atto di convegno su rivista ]
• 3 . An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear p-Calculus
  Ciccone, Luca; Padovani, Luca
  2022;Vol. 243;Pages:1 -18 [ Contributo in atto di convegno su volume ]
• 4 . Distributed workflows with Jupyter
  Colonnelli, I.; Aldinucci, M.; Cantalupo, B.; Padovani, L.; Rabellino, S.; Spampinato, C.; Morelli, R.; Di Carlo, R.; Magini, N.; Cavazzoni, C.
  FUTURE GENERATION COMPUTER SYSTEMS;2022;Vol. 128;Pages:282 -298 [ Articolo ]
• 5 . Fair Termination of Binary Sessions
  Ciccone, Luca; Padovani, Luca
  PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES;2022;Vol. 6;Pages:1 -30 [ Contributo in atto di convegno su rivista ]