Tag: theory of computation

Linear Logics

Linear logic treats logical operations as resource-consuming, unlike classical logic's reusable assumptions.…

Bossmind
Bossmind