Category:プログラミング言語理論

First-class function

Referential transparency

Side effect (computer science)

Liskov substitution principle

Turing tarpit

Semantics (computer science)

Abstract syntax

Turing completeness