Italiano (Italian) English (Inglese)
mercoledì, 24 luglio 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Mario Coppo
Ferruccio Damiani
Paola Giannini
Titolo:On Strictness and Totality
Apparso su:TACS'97
Pagine:138--164
Editore:Springer
Anno:1997
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tacs97.html