February 6, 2025

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