| 
|
Quote: in an applicative language, replace components by their meaning; get meaning of whole unless it's an application
topics >
all references >
references a-b >
Topic:
reduction machines
Quotation Skeleton
In an applicative language, atoms are their own … by their meanings, if e is not an … been simplified [in general] [i.e. arguments are constants] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: reduction machines (14 items)