| 
|
Quote: in a closed applicative language, all reductions terminate at the same meaning (if any)
topics >
all references >
references a-b >
Topic:
reduction machines
Note
if an expression has a meaning in a closed applicative language then all reduction sequences terminate at the same meaning
Topic: reduction machines (14 items)