Map
Index
Random
Help
th

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 > QuoteRef: backJ_1973 , p. 75



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.


Related Topics up

Topic: reduction machines (14 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.