Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
Centre
Members
Publications
Publications
Preprints
Theses
Research Groups
News & Events
News
Meetings
Seminars
Colloquia
Outreach
Other
Projects
CMAT-LABs
Sequent calculi for the normal terms of the λΠ- and λΠΣ-calculi.
Electron. Notes Theor. Comput. Sci.,
Book Chapter
Luís Pinto
Publication
Year of publication: 1998
Volume: 17
Pages: 14 pp. (electronic)
Identifiers
Other: MR1667986
Locators
Alternative Titles