Alpuente, M., Ballis, D., Escobar, S., Falaschi, M., Lucas, S. (2003). Abstract Correction of first-order Functional Programs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 86(3), 105-122.
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.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/38811
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo