Type Preorders and Recursive Terms

Dezani, Mariangiola; Alessi, F.

CINECA IRIS Institutional Research Information System

IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Torino.

AperTO è l'archivio istituzionale Open Access destinato a raccogliere, rendere visibile e conservare la produzione scientifica dell'Università degli Studi di Torino.

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:	DEZANI, Mariangiola F. ALESSI mostra contributor esterni nascondi contributor esterni
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.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/2318/28857

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.