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
Revisiting the correspondence between cut elimination and normalisation
Lecture Notes in Computer Science, vol. 1853
Journal Article
José Santo
Publication
Pages: 600-611
Identifiers
Other: MR1795920 (2001i:03118)
Locators
Alternative Titles