Comment by creata

7 days ago

An affine type system is one in which some things don't have contraction, not one in which nothing has contraction.

0 comments