linear logic
A subfield of mathematical logic and theoretical computer science. Resources are treated as consumable and cannot be duplicated or discarded arbitrarily.
Linear logic is known as a logical system that is aware of resources.
His research focuses on the proof theory of linear logic.