Italiano (Italian) English (Inglese)
Thursday, 28 March 2024

Publications

Back
Pubblication Details
Authors:Mario Coppo
Ferruccio Damiani
Paola Giannini
Title:On Strictness and Totality
Published on:TACS'97
Pages:138--164
Publisher:Springer
Year:1997
Tipo Pubblicazione:Paper on Proceedings International Conference
URL:http://www.di.unito.it/~damiani/papers/tacs97.html