| 
|
Quote: constructor syntax uses a set of constructors and atomic expressions to define non-atomic expressions
topics >
all references >
references a-b >
Topic:
reduction machines
Note
constructor syntax consists of a set of atomic expressions and a set of constructors from n expressions to a non-atomic expression. each expression is either atomic or uniquely constructed from n unique expressions
Topic: reduction machines (14 items)