Ciro Santilli @cirosantilli 40

Same as recursive language but in the context of the integers.

A Linear map where the image is the underlying field of the vector space, e.g. ${\mathbb{R}}^n\to \mathbb{R}$.

The set of all linear forms over a vector space forms another vector space called the dual space.