Sequent Calculi for the Normal Terms of the Lambda-Pi and Lambda-Pi-Sigma Calculi

L Pinto, Roy Dyckhoff

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
JournalElectronic Notes in Theoretical Computer Science
Volume17
Publication statusPublished - 1998

Cite this