Computability concepts for programming language semantics

Theory of Recursive Functions and Effective Computability.

Solomon Feferman, Hartley Rogers · American Mathematical Monthly · 1969 · 2.8K citations

Computing, Computer Science, Mathematics +14

Theory of Recursive Functions and Effective Computability

D. C. Cooper · The Computer Journal · 1969 · 2.6K citations · Full text

Computing, Computer Science, Mathematics +14

Constructivity in Mathematics

Douglas Bridges · CUBO, A Mathematical Journal · 2004 · 373 citations

Natural Sciences, Mathematics, Algebra +4

Implementation and applications of Scott's logic for computable functions

Robin Milner · 1972 · 106 citations

Computing, Computer Science, Logic +12

On Classes of Program Schemata

Robert L. Constable, David Gries · SIAM Journal on Computing · 1972 · 84 citations

Computing, Computer Science, Compilers +6