12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems : Part 6 (view source)
Revision as of 14:50, 15 August 2011
, 14:50, 15 August 2011→6.10. Higher Order Sign Relations : Examples: paragraph break
A few remarks are necessary to see how this way of defining a CRE can be regarded as legitimate.
A few remarks are necessary to see how this way of defining a CRE can be regarded as legitimate.
In the present context an application of the arch notation "<x>" is read on analogy with the use of any other functional notation "f(x)", where "f" is the name of a function f, "f( )" is the context of its application, "x" is the name of an argument x, and where the functional abstraction "x > f(x)" is just another name for the function f.
In the present context an application of the arch notation "<x>" is read on analogy with the use of any other functional notation "f(x)", where "f" is the name of a function f, "f( )" is the context of its application, "x" is the name of an argument x, and where the functional abstraction "x > f(x)" is just another name for the function f.