Keywords

You should know these.

• Syntax
  • sort, function symbol + typing, signature, variable, term
• Specification
  • equation, equational specification, substitution, derivability
• Model
  • sigma-algebra, assignment, model, semantic consequence, correctness, completeness
• Initial model
  • junk, confusion, initial model, isomorphism, isomorphism theorem