Bibliografía

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