BELLIN, Gianluigi
BELLIN, Gianluigi
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.0 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic | 1-gen-2001 | Bellin, Gianluigi; V., De Paiva; E., Ritter |