Documents Dragisa Zunic - Classical computing with explicit structural rules - the *X calculus

1. Sequent calculus, proofs and programsThe ∗X calculus : explicit erasure and duplication Explicit vs implicit : ∗X vs XStrong normalisationClassical computing with…