Category:形式手法

Formal methods

Fixed-point combinator

Static program analysis

Sequent calculus

Semantics (computer science)

Lambda calculus