Map
Index
Random
Help
th

Quote: in a closed applicative language, the meaning of an application (.mu. * ap [e,f]) is .mu.*[.rho. .mu. e].mu.f

topics > all references > references a-b > QuoteRef: backJ_1973 , p. 75 [



Topic:
reduction languages

Note

a closed applicative language is an applicative language with a representation function mapping all constants to functions from all constants to expressions such that the semantic meaning of an application is .mu. * ap [e,f] = .mu.*[.rho..mu.e].mu.f where .mu. is semantic, representation is .rho. ap is application function and e, f are expressions.


Related Topics up

Topic: reduction languages (17 items)

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