Esercizi
N.B.
: Il minor numero di esercizi per alcuni argomenti non e' dovuto alla minor rilevanza, all'interno del corso, degli argomenti stessi.
Lambda Calculus
Typed Lambda Calculi
Haskell
Programmazione O.O e FJ
Pi-calculus and PICT
PROLOG
Actors Model and ERLANG
Varie
