Sequent calculi for the normal terms of the λΠ- and λΠΣ-calculi.

Electron. Notes Theor. Comput. Sci.,

Book Chapter

Publication

Year of publication: 1998

Volume: 17

Pages: 14 pp. (electronic)

Identifiers

Other: MR1667986

Locators

Alternative Titles