Neat function algebraic characterizations of logspace and linspace

Classes of predictably computable functions

Robert W. Ritchie · Transactions of the American Mathematical Society · 1963 · 255 citations

Computing, Computer Science, Mathematics +13

The complexity of loop programs

Albert R. Meyer, Dennis M. Ritchie · 1967 · 193 citations · Full text

Computing, Computer Science, Algorithms +12

The expressive power of higher-order types or, life without CONS

Neil D. Jones · Journal of Functional Programming · 2001 · 99 citations · Full text

Computing, Computer Science, Algorithms +15

LOGSPACE and PTIME characterized by programming languages

Neil D. Jones · Theoretical Computer Science · 1999 · 81 citations

Computing, Computer Science, Algorithms +9

The realm of primitive recursion

Harold Simmons · Archive for Mathematical Logic · 1988 · 79 citations

Computing, Computer Science, Theory Of Computation +7