The foundational studies concern semantical properties of specification and type-theoretic languages.