| |
| 2000 | ||
|---|---|---|
| 4 | Corrado Priami, Ugo Solitro: Functional features of a calculus for logic and concurrency. WFLP 2000: 144-153 | |
| 1998 | ||
| 3 | EE | Francisco Miraglia, Ugo Solitro: Sheaves over Right Sided Idempotent Quantales. Logic Journal of the IGPL 6(4): 545-600 (1998) |
| 1993 | ||
| 2 | Ugo Solitro, Silvio Valentini: Local Computation in Linear Logic. Math. Log. Q. 39: 201-212 (1993) | |
| 1989 | ||
| 1 | Ugo Solitro: A Typed Calculuc Based on a Fragment of Linear Logic. Theor. Comput. Sci. 68(3): 333-342 (1989) | |
| 1 | Francisco Miraglia | [3] |
| 2 | Corrado Priami | [4] |
| 3 | Silvio Valentini | [2] |