The Polarized λ-calculus

Electronic Notes in Theoretical Computer Science

Journal Article

Publication

Year of publication: 2017

Volume: 332

Pages: 149-168

Identifiers

Other: 2-s2.0-85021291490

Locators

Alternative Titles