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

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