MASINI, Andrea
MASINI, Andrea
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A computational interpretation of modal proofs | 1-gen-1996 | S., Martini; Masini, Andrea | |
Modal Logic, Linear Logic, Optimal Lambda-reduction | 1-gen-1999 | Guerrini, S.; Martini, S.; Masini, Andrea | |
On the fine structure of the exponential rule | 1-gen-1995 | S., Martini; Masini, Andrea |