PIPERNO ADOLFO
(programma)
Introduzione al lambda-calcolo come modello di calcolo ed equivalenza rispetto ad altri modelli (funzioni ricorsivi). Il lambda-calcolo come linguaggio di programmazione: analisi dei risultati fondamentali e loro applicazione nella programmazione funzionale.
Note ed articoli scientifici distribuiti dal docente
|