June 22, 2024

Set-theoretic denotational semantics Many-sorted algebras Three-valued predicate calculus A denotational model of types Abstract syntax Concrete syntax