Type Preorders and Recursive Terms / M. DEZANI; F. ALESSI. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - 136(2005), pp. 3-21.
Titolo: | Type Preorders and Recursive Terms |
Autori Riconosciuti: | |
Autori: | M. DEZANI; F. ALESSI |
Data di pubblicazione: | 2005 |
Volume: | 136 |
Pagina iniziale: | 3 |
Pagina finale: | 21 |
Rivista: | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE |
Appare nelle tipologie: | 03A-Articolo su Rivista |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.