Computability Theory is the foundation for computer software development. Our programming languages embody the techniques and models described by various theories of computation [1]. The Turing Machine is the canonical example of the Imperative Model [2]. Lambda Calculus is the canonical example of the Functional Model [3]. Kleene’s Church-Turing Thesis asserts the equivalence of these […]
Archive for August, 2016
31
Aug
2016
On Separating Values and Effects
Tags: actor, behavior, composition, effect, evaluation, execution, functional, Humus, imperative, lambda-calculus, language, open-system, primitive, real-world, theory, time, value