Bibliografia

Principal

• Logical Foundations and Programming Language Foundations, volumes 1 and 2 of the Software Foundations series: Benjamin C. Pierce et al. 2018
• Types and Programming Languages: Benjamin C. Pierce 2002 MIT Press
• Essentials of Programming Languages: D. Friedman, M. Wand, and C. Haynes 2008 MIT Press
• Practical Foundations for Programming Languages, Cambridge University Press, 2016.: Robert Harper 2016 http://www.cs.cmu.edu/~rwh/pfpl.html

Secundária

• Programming Languages and the Lambda Calculi: Mathias Felleisen and Matthew Flatt 2006
• Programming Language Pragmatics: Michael L. Scott 2009 Morgan Kaufmann Publishers
• Certified Programming with Dependent Types: Adam Chlipala 2013 MIT Press
• Structure and Interpretation of Computer Programs: Harold Abelson, Gerald Jay Sussman 1996 MIT Press