Proof Theory and Formal Grammars - Applications of Normalization

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageAmerican English
Title of host publicationFoundations of the Formal Sciences II: Applications of Mathematical Logic in Philosophy and Linguistics.
StatePublished - 2003

Disciplines

  • Linguistics
  • Mathematics

Cite this