Bibliografia
Semânticas

(PLOS) Maribel Fernandez. Programming languages and operational semantics. 2014


(Complementar)
Principios de Programação (Complementar)


Programação em Lógica (Complementar)
(CPL) Concepts of Programming Languages, 11th Edition
Robert W. Sebesta, University of Colorado, Colorado Springs.
2016
Robert W. Sebesta, University of Colorado, Colorado Springs.
2016
Lógica Computacional Cap 4
DCC-FCUP
DCC-FCUP