3 ms·
An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.
by creata 1y ago
An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.