The λ-calculus and the unity of structural proof theory

Theory of Computing Systems

Journal Article

Publication

Year of publication: 2009

Volume: 45

Issue: 4

Pages: 963-994

Identifiers

Locators

Alternative Titles