Computational interpretation of classical logic with explicit structural rules

Re-assign community