A sequent calculus with procedure calls

The proof of Cut-elimination is unfortunately bugged. It is repaired in "Sequent Calculi with procedure calls", hal-00779199, v4

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00690577
Author Farooque, Mahfuza, Lengrand, Stéphane
Maintainer CCSD
Last Updated May 21, 2026, 00:07 (UTC)
Created May 21, 2026, 00:07 (UTC)
Identifier hal-00690577
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; École polytechnique (X) ; Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)
creator Farooque, Mahfuza
date 2012-12-01T00:00:00
harvest_object_id 4716aaf1-4351-4eef-af55-b6676cb57996
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-20T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1204.5156
set_spec type:REPORT