User:Jitrnicka/Books/tjd

TJD

 * Semantics (computer science)
 * Denotational semantics
 * Operational semantics
 * Hoare logic
 * Programming paradigm
 * Procedural programming
 * Imperative programming
 * Declarative programming
 * Lambda calculus
 * Functional programming
 * Logic programming
 * Lisp (programming language)