The geometry of linear higher-order recursion / DAL LAGO, Ugo. - STAMPA. - (2005), pp. 366-375. (Intervento presentato al convegno 20th Annual IEEE Symposium on Logic in Computer Science (LICS '05) tenutosi a Chicago, IL, USA nel 26-29 June 2005).
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.