Term (logic)

// implements anonymous function (lambda i. i*i); however, C requires a name for it