Esercizi
Tra un esercizio ed un'altro rilassiamoci leggendo le brevi biografie
dei nostri eroi:
Curry ,
Church e
Turing.
Lambda Calculus
File pdf contenente tutte le soluzioni degli
esercizi sul lambda calcolo.
File pdf contenente tutte le soluzioni degli
esercizi sulle strategie di riduzione.
Typed Lambda Calculus 'a la Church and a' la Curry, PCF,
implicit polymorphism
File pdf contenente tutte le soluzioni degli
esercizi sul lambda calcolo tipato.
Scheme
File pdf contenente tutte le soluzioni degli
esercizi sullo Scheme.
Scheme Operational Semantics
File pdf contenente tutte le soluzioni degli
esercizi sulla semantica operazionale di Scheme.
Haskell
File pdf contenente tutte le soluzioni degli
esercizi su Haskell.
