Skip to main content

User account menu

Log in

Main navigation

Centre
Members
Publications
Research Groups
News & Events
- News
- Meetings
- Seminars
- Colloquia
- Outreach
- Other
Projects
CMAT-LABs

Sequent calculi for the normal terms of the ¿¿- and ¿¿S-calculi.

Book Chapter

Luís Pinto

Publication

Year of publication: 1998

Identifiers

Other: cv-prod-id-1363394

Locators

Alternative Titles

Contacts

Campus de Gualtar
4710 - 057 Braga
Portugal

Phone: +351 253604367
Email: sec@cmat.uminho.pt

Logos CMAT

This webpage was supported by FCT funds within project UID/MAT/00013/2013.