Concepedia

Progress Theorem

Progress Theorem is a formal syntactic-safety property in type theory that belongs to the class of preservation theorems, specifically characterizing that every well-typed term is either a value or steps to another well-typed term under the operational semantics, thereby ensuring computation never obstructs due to type errors.

10

Publications

364

Citations

19

Authors

13

Institutions

Publications per year

2017–2026

0

Parents

Publications

10

Eliminating covert flows with minimum typings

Dennis Volpano, Geoffrey Smith · 2002 · 150 citations

, , +14

The Neoclassical Foundations of Progress Functions

Walter Y. Oi · The Economic Journal · 1967 · 73 citations

, , +9

Uniform progressivity, residual progression, and single-crossing

Paul D. Thistle · Journal of Public Economics · 1988 · 25 citations

, , +5

On asymmetric progress conditions

Damien Imbs, Michel Raynal, Gadi Taubenfeld · 2010 · 24 citations · Full text

, , +11

Investigation of the (μ, λ)-ES in the presence of noise

Dirk V. Arnold, Hans-Georg Beyer · 2002 · 19 citations

, , +8

1–5 of 10

Authors

19

  1. DR
    David R. Musser

    Rensselaer Polytechnic Institute, United States

    1 publications · 11 citations

    1

    h-index

  2. PD
    Paul D. Thistle

    University of Alabama, United States

    1 publications · 25 citations

    1

    h-index

  3. DI
    Damien Imbs

    Université de Rennes, France

    1 publications · 24 citations

    1

    h-index

  4. DV
    Dennis Volpano

    Naval Postgraduate School, United States

    1 publications · 150 citations

    1

    h-index

  5. MR
    Michel Raynal

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    1 publications · 24 citations

    1

    h-index

1–5 of 19

Institutions

13

  1. Reichman University

    Herzliya, Israel

    1 h-index

    1 publications

    24 citations

  2. Florida International University

    Miami, United States

    1 h-index

    1 publications

    150 citations

  3. Rensselaer Polytechnic Institute

    Troy, United States

    1 h-index

    2 publications

    22 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    2 publications

    32 citations

  5. TU Dortmund University

    Dortmund, Germany

    1 h-index

    2 publications

    38 citations

  6. California Institute of Technology

    Pasadena, United States

    1 h-index

    2 publications

    38 citations

  7. Seattle University

    Seattle, United States

    1 h-index

    1 publications

    73 citations

  8. University of Washington

    Seattle, United States

    1 h-index

    1 publications

    73 citations

1–8 of 13

Venues

  1. The Review of Economic Studies

    1 publications · 14 citations

    1

    h-index

  2. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 1 publications · 19 citations

    1

    h-index

  3. Journal of Public Economics

    1 publications · 25 citations

    1

    h-index

  4. 1

    h-index

  5. The Economic Journal

    1 publications · 73 citations

    1

    h-index

1–5