affine 論理

affine logic