Bibliografia
Principal
- Programming Language Pragmatics: Michael L. Scott 2009 Morgan Kaufmann Publishers
- Logical Foundations and Programming Language Foundations, volumes 1 and 2 of the Software Foundations series.: Benjamin C. Pierce et al. 2019 Online book available at: https://softwarefoundations.cis.upenn.edu