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. 2018 Online book available at: https://softwarefoundations.cis.upenn.edu