Category
page 11969 in computing
relational model
database model
Curry–Howard correspondence
the direct relationship between computer programs and mathematical proofs
Hoare logic
formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs
Hindley–Milner
type system supporting type inference