Publications
| 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 |