25th March 2001  Home/Search
Context
Related
| linearity.org/cas/papers/symmsbm.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: linearity.org/cas/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we introduce a rewrite calculus, msL which belongs to a family of calculi closely related to both the second-order lambda-mu calculus of Parigot, and the symmetric lambda calculus of Barbanera and Berardi. We develop the theory of the calculus, which is shown to be confluent and strongly normalising. (Update)
Similar documents based on text: More All
0.1: About Translations of Classical Logic into Polarized Linear.. - Laurent, Regnier (Correct)
0.1: Combination Results for Many Sorted Theories with.. - Ganesh, Berezin.. (2004) (Correct)
0.1: MSL: A Model for W3C XML Schema - Brown, Fuchs, Robie (2001) (Correct)
BibTeX entry: (Update)
@misc{ ch-interpretation,
author = "Th Mar Ch",
title = "An Interpretation of the Second Order Sequent Calculus in the Symmetric
Lambda-Mu Calculus",
url = "citeseer.ist.psu.edu/702234.html" }
Citations (may not include all citations):233 The formulae--as--types notion of construction (context) - Howard - 1990
167 Natural Deduction: a Proof-Theoretical Study (context) - Prawitz - 1965
134 calculus: an algorithmic interpretation of classical natural.. (context) - Parigot - 1992
116 Ideas and results in proof theory (context) - Prawitz
110 A formulae--as--types notion of control - Griffin - 1990
83 volume 7 of Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
72 A new constructive logic: Classical logic (context) - Girard - 1991
47 Untersuchungen uber das logische schliessen (context) - Gentzen, logical et al. - 1969
46 Proof Theory and Logical Complexity (context) - Girard - 1987
30 Permutability of inferences in Gentzen's calculi LK and LJ (context) - Kleene - 1952
30 Control Categories and Duality: on the categorical semantics.. - Selinger - 2000
24 A semantic view of classical proofs: type-theoretic (context) - Ong - 1996
19 Computation and reasoning (context) - Luo - 1994
15 Proof theory and meaning (context) - Sundholm - 1986
13 A symmetric lambda calculus for `classical' program extracti.. (context) - Barbanera, Berardi - 1994
[Article contains additional citations not shown here]
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