Intrigila, B., Statman, R. (2011). Solution to the range problem for combinatory logic. FUNDAMENTA INFORMATICAE [10.3233/FI-2011-560].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
Intrigila-Statman.pdf
solo utenti autorizzati
Descrizione: articolo principale
Dimensione
140.9 kB
Formato
Adobe PDF
|
140.9 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.