affine 論理
affine logic
Affine logic - Wikipedia
affine logic in nLab