- Apuntes del docente (ver archivos)
- Quantum computation and quantum information de Michael Nielsen e Isaac Chuang. Cambridge University Press. 2000.
- Introduction to the theory of programming languages de Gilles Dowek y Jean-Jacques Lévy. Springer. 2011.
- Lectures on the Curry-Howard isomorphism de Morten H. B. Sørensen y Paweł Urzyczyn. Elsevier. 2006.
- Proof and types de Jean-Yves Girard, Paul Taylor e Yves Lafont. Cambridge University Press. 1989.
- Lambda calculi with types de Henk Barendregt, Wil Dekkers y Richard Statman. Cambridge University Press. 2013.
