Affine logic
[ru] Аффинная логика