2019 : Relatório em resultados "A semântica de um sistema formal computável separa aquela parte que pode ser verificada mecanicamente, da outra, incomputável. Tamb ...
Keywords: theory Português: semântica denotacional Denotational semantics. Available from . access on 21 November 2019. Main.GregorioIvanoff 21 Nov 2019