> outside of the Von Neumann architecture Lambda calculus is agnostic about stored program architectures. What it contrasts with is the Turing Machine model of

> outside of the Von Neumann architecture Lambda calculus is agnostic about stored program architectures. What it contrasts with is the Turing Machine model of universal computation.