Testi consigliati

P. Dehornoy, Calculabilite et Decidabilite, (1993) Springer-Verlag (in francese);

J.-L. Krivine, Lambda Calculus: Types and Models, (1993) Ellis Horwood editore.

M. Sipser, An introduction to the theory of computation (2005), Course Technology.

M. Pedicini, Appunti di Informatica Teorica, (coprono parzialmente i temi del corso essenzialmente basati sui testi qui sopra): disponibili sulla directory del docente al laboratorio di calcolo: /users/pedicini/IN410/appunti;

Testi di Approfondimento

G. Lolli, Hilbert e la logica, Le Matematiche, [S.l.], v. 55, n. 3, p. 93-126, mar. 2005. ISSN 2037-5298.

Dexter C. Kozen, Theory of Computation, Springer-Verlag (2006).

G. Ausiello, G. Gambosi, F. d'Amore Linguaggi, Modelli, Complessità (draft scaricabile in rete).

M. Gabbrielli, S. Martini Linguaggi di Programmazione, McGraw Hill.

R. Sethi, Programming Languages: concepts and constructs, Addison-Wesley (ed. italiana Zanichelli).

Aho, Hopcroft, Ullman, Design and Analysis of Computer Programming.

A. Bernasconi, B. Codenotti, Introduzione alla complessità computazionale, Springer-Verlag.

H. Hermes, Enumerability, Decidability, Computability, Die Grundlehren der Mathematichen Wissenshaften in Einzeldarstellungen, n. 127, Springer-Verlag.

F. Cardone and J. R. Hindley, History of Lambda-calculus and Combinatory Logic, from Swansea University Mathematics Department Research Report No. MRRS-05-06.

P. H. Wintson, S. Narasimhan, On to Java, Addison-Wesley (1998).

Manuali per la programmazione object oriented (OOP)

Altre letture sul Lambda-Calcolo

Appunti sulla programmazione funzionale dalla Cambridge University

Una serie di note introduttive sui linguaggi di programmazione funzionali e in particolare sul lambda-calcolo: Functional programming by David Sands.

Dallo stesso sito consigliamo l'eccellente guida introduttiva di Mike Gordon Notes on Functional Programming

Informatica

UNIX: introduzione elementare

Una guida elementare introduttiva al sistema operativo UNIX. Disponibile anche in formato PDF (http://www.aquilante.net/unix/manuale-unix.pdf).

HTML

Lucidi di un seminario introduttivo al HyperText Markup Language (http://www.isinet.it/~marco/html/).