Higher order linear ramified recurrence / U. DAL LAGO; S. MARTINI; L. ROVERSI. - STAMPA. - 3085(2004), pp. 178-193. ((Intervento presentato al convegno International Workshop, TYPES 2003. Revised Selected Papers tenutosi a Torino, Italy nel April 30 - May 4, 2003.
Titolo: | Higher order linear ramified recurrence |
Autore/i: | DAL LAGO, UGO; MARTINI, SIMONE; L. ROVERSI |
Autore/i Unibo: | |
Anno: | 2004 |
Titolo del libro: | Types for Proofs and Programs |
Pagina iniziale: | 178 |
Pagina finale: | 193 |
Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/978-3-540-24849-1_12 |
Data prodotto definitivo in UGOV: | 22-set-2005 |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.