Quote: in a closed applicative language, an expression is a constant (its own meaning) unless applied

Note

closed applicative language (most restrictive) expression has a meaning and a function which it represents. Expressions are constants (their own meaning) unless applied (f,g)

Related Topics

Topic: reduction machines (14 items)