Luca Padovani is qualified to endorse.
An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear $\pi$-Calculus
| Luca Padovani: | Is registered as an author of this paper. Can endorse for cs.DC, cs.LO, cs.PL. (why?) |
Luca Ciccone is not registered as an owner of this paper. (why?)