Strong normalization from an unusual point of view

  • Paolini L
  • Pimentel E
  • Ronchi Della Rocca S
  • 5

    Readers

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

    Citations

    Citations of this article.

Abstract

A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi. © 2010 Elsevier B.V. All rights reserved.

Author-supplied keywords

  • Call-by-value
  • Parametric lambda calculus
  • Strong normalization

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

  • Luca PaoliniUniversity of Turin Department of Computer Science

    Follow
  • Elaine Pimentel

  • Simona Ronchi Della Rocca

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free