Keywords.md (392B)
1 +++ 2 title = "Keywords" 3 +++ 4 5 # Keywords 6 You should know these. 7 8 - Syntax 9 - sort, function symbol + typing, signature, variable, term 10 - Specification 11 - equation, equational specification, substitution, derivability 12 - Model 13 - sigma-algebra, assignment, model, semantic consequence, correctness, completeness 14 - Initial model 15 - junk, confusion, initial model, isomorphism, isomorphism theorem