User Tools

Site Tools


Theoretical Computer Science

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

Admin stuff


Massimo Bartoletti

Dipartimento di Matematica e Informatica - 070 675 8540

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

Teaching material

  • 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)