E-LIB Suche - Ergebnisse für: Padovani, Luca

Horne, Ross ; Padovani, Luca
https://strathprints.strath.ac.uk/87706/1/Horne-Padovani-EPTCS-2023-A-logical-account-of-subtyping-for-session-types.pdf. , 2023

Link: https://strathprints.str..

6

A Logical Account of Subtyping for Session Types:

Horne, Ross ; Padovani, Luca
http://arxiv.org/abs/2304.06398. , 2023

Link: http://arxiv.org/abs/230..

7

EXPRESSing Session Types:

Castellani, Ilaria ; Dardha, Ornela ; Padovani, Luca.
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.387.2. , 2023

Link: https://inria.hal.scienc..

8

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
doi:10.4230/LIPIcs.ECOOP.2022.26. , 2022

Link: https://doi.org/10.4230/..

9

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
hal-03667020. , 2022

Link: https://hal.science/hal-..

10

Fair Termination of Binary Sessions:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000777820900006. , 2022

Link: https://hdl.handle.net/1..

11

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
http://arxiv.org/abs/2205.08786. , 2022

Link: http://arxiv.org/abs/220..

12

Traumatic biceps femoris tendon subluxation in a young foot..:

Padovani, Luca ; Iacono, Venanzio ; Auregli, Ludovica...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9239396/. , 2022

Link: http://www.ncbi.nlm.nih...

13

An Infinitary Proof Theory of Linear Logic Ensuring Fair Te..:

Ciccone, Luca ; Padovani, Luca
http://arxiv.org/abs/2207.03749. , 2022

Link: http://arxiv.org/abs/220..

14

On the Fair Termination of Client-Server Sessions:

Padovani, Luca
http://arxiv.org/abs/2212.05457. , 2022

Link: http://arxiv.org/abs/221..

15

Inference Systems with Corules for Combined Safety and Live..:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000860394200001. , 2022

Link: https://hdl.handle.net/1..