• Appunti Lezione 1 e Esercizi Lezione 1
  
• Appunti Lezione 2
• Appunti Lezione 3
• Appunti Lezione 4
• Appunti Lezione 5
• Appunti Lezione 6

Riferimenti bibliografici:

• D. Scott, Relating theories of the lambda-calculus, 1980.
• J.-Y. Girard (with appendices by P. Taylor and Y. Lafont), Proofs and Types, Cambridge University Press, 1989.
• J. Lambek and P. Scott, Introduction to Higher-Order Categorical Logic, Cambridge University Press, 1986.
• T. Leinster, Basic Category Theory, Cambridge University Press, 2014. Available from arXiv.