F. Barbanera and S. Berardi. A strong normalization result for classical logic. Ann. Pure Appl. Logic, 76:99--116, 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Notion of Classical Pure Type System - Barthe, Hatcliff, al. (1997) (6 citations) (Correct)
.... that the reduction rules for C were closely related to classical proof normalization as studied by Prawitz [81] Seldin [86,87] and Stalmarck [90] Griffin s discoveries were followed by a series of papers on classical logic, control operators and the Curry Howard isomorphism, see for example [3,4,18,24,42,62 66,69 72,82]. Most of these works introduce one typed classical calculus, i.e. a typed calculus enriched with control operators, and study its properties with respect to e.g. normalization, confluence and categorical semantics or its applications to e.g. classical theorem proving and witness extraction. ....
F. Barbanera and S. Berardi. A strong normalization result for classical logic. Annals of Pure and Applied Logic, 76(2):99--116, December 1995.
A Notion of Classical Pure Type System - Barthe, Hatcliff, Sørensen (1997) (6 citations) (Correct)
....works on classical logic, control operators and the Curry Howard isomorphism some initiated independently of his work. Most of these works study one typed calculus enriched with control operators; we call such calculi classical calculi. In the overwhelming majority of cases see for example [8, 9, 15, 22, 34, 48, 49, 50, 51, 52, 56, 57, 64] the calculus considered is essentially the simply typed or polymorphic calculus; other calculi considered include higher order calculus [31] ML [23] linear calculus [14] calculus with explicit substitutions [32, 68] or proof irrelevant logical pure type systems [79] In all cases, the ....
F. Barbanera and S. Berardi. A strong normalization result for classical logic. Annals of Pure and Applied Logic, 76(2):99--116, December 1995.
Strong Normalization of a Symmetric Lambda Calculus for Second.. - Yamagata (Correct)
No context found.
F. Barbanera and S. Berardi. A strong normalization result for classical logic. Ann. Pure Appl. Logic, 76:99--116, 1995.
Strong Normalization of Second Order Symmetric Lambda-mu Calculus - Yamagata (2001) (Correct)
No context found.
F. Barbanera and S. Berardi. A strong normalization result for classical logic. Ann. Pure Appl. Logic, 76:99--116, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC