Arithmetical proofs of strong normalization results for symmetric λ-calculi

Arithmetical proofs of strong normalization results for symmetric λ-calculi

Cached

Download Links

[www.lama.univ-savoie.fr]

by René David , Karim Nour

Citations:

11 - 4 self

BibTeX

@MISC{David_arithmeticalproofs,
    author = {René David and Karim Nour},
    title = {Arithmetical proofs of strong normalization results for symmetric λ-calculi},
    year = {}
}

Bookmark

OpenURL

Abstract

symmetric λµ-calculus

Citations

270	Λµ-calculus: an algorithmic interpretation of classical natural deduction - Parigot - 1992
137	A new constructive logic: classical logic - Girard - 1991
126	The Duality of Computation - Curien, Herbelin - 2000
59	Strong normalization for second order classical natural deduction - Parigot
52	A Symmetric Lambda Calculus for Classical Program Extraction - Barbanera, Berardi - 1996
44	Classical proofs as programs - Parigot - 1993
41	An evaluation semantics for classical proofs - Murthy - 1991
26	A simple calculus of exception handling - DeGroote - 1995
17	Normalization without reducibility - David - 2001
16	A short proof of the strong normalization of the simply typed λµ-calculus - David, Nour
15	The λ∆-calculus - Rehof, Sorensen - 1994
14	Finding computational content in classical proofs - Constable, Murthy - 1991
13	A semantical proof of strong normalization theorem for full propositional classical natural deduction - Nour, Saber - 2005
12	Classical logic, storage operators and 2nd order lambda-calculus - Krivine - 1994
11	Confluence en λµ-calcul - Py - 1998
9	La valeur d’un entier classique en λµ-calcul. Archive for Mathematical Logic - Nour - 1997
8	Why the usual candidates of reducibility do not work for the symetric λµ-calculus - David, Nour - 2005
6	A CPS-translation of the lambda-mu-calculus - Groote - 1994
5	A non-deterministic classical logic (the λµ ++ -calculus - Nour - 2002
5	Free Deduction: An Analysis of ”Computations - Parigot - 1992
3	Strong Normalization of Second Order Symmetric Lambda-mu Calculus - Yamagata - 2001
2	Arithmetical proofs of the strong normalization of the λµ˜µcalculus - David, Nour - 2004
2	Substitutions explicites, logique et normalisation - Polonovsky