Why the usual candidates of reducibility do not work for the symmetric λμ-calculus

  • David R
  • Nour K
  • 4

    Readers

    Mendeley users who have this article in their library.
  • 6

    Citations

    Citations of this article.

Abstract

The symmetric λμ-calculus is the λμ-calculus introduced by Parigot in which the reduction rule μ′, which is the symmetric of μ, is added. We give examples explaining why the technique using the usual candidates of reducibility does not work. We also prove a standardization theorem for this calculus. © 2005 Elsevier B.V. All rights reserved.

Author-supplied keywords

  • Reducibility
  • λμ-calculus

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • René David

  • Karim Nour

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free