User Tools

Site Tools


it

Theoretical Computer Science

  • M. Bartoletti (lecturer)
  • T. Cimoli (teaching assistant)


Admin stuff

Contact:

Massimo Bartoletti

bart@unica.it

Dipartimento di Matematica e Informatica - 070 675 8540

(please send me an e-mail for an appointment)


Teaching material

Textbooks
  • Roger Hindley and Jonathan Seldin. Lambda-calculus and Combinators – an introduction. Cambridge University Press, 2008.
  • Benjamin Pierce. Types and Programming Languages. MIT Press, 2002.
  • Guy Cousineau and Michel Mauny. The functional approach to Programming. Cambridge University Press, 1998.
Electronic resources
Lab lectures
it.txt · Last modified: 2015/10/08 15:20 (external edit)