| 
|
Quote: the expression +/ in J is a tacit definition of summation; arguments are implicit; tacit definition is widely usable
topics >
all references >
references g-h >
Topic:
formal methods and languages
Quotation Skeleton
Because the operator / in the [J] expression +/ produces a derived function, the expression +/ is … The present paper provides an inductive argument that … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)