Skip to search boxSkip to navigationSkip to main content

Proof Theory and Formal Grammars - Applications of Normalization

Scholarship:
Chapter in Book/Report/Conference proceeding
Chapter

Scholarship

Output type

Scholarship:
Chapter in Book/Report/Conference proceeding
Chapter

Original language

American English

Publication milestones

  • Published - 2003

Publication status

Published - 2003

Host publication title

Foundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics.