Bibliografia de Apoio

LIVROS

–Reynolds, J.C. Theories of Programming Languages. Cambridge Univ. Press, 1998

–Winskel, G. The Formal Semantics of Programming Languages. MIT Press, 1993

–Hennessy, M. The Semantics of Programming Languages. Wiley, 1990
[ versão disponível online aqui ]

TEXTOS

–Pitts A. M. Lecture Notes on Semantics of Programming Languages. Univ Cambridge, 1997-2002

–Mycroft A. Foundations of Functional Programming. Univ. Cambridge, 2007

–Winskel F. Lecture Notes on Denotational Semantics. Univ. Cambridge, 1997-2002