The Actor Model is a unique-up-to-isomorphism model of the theory Actors. Lambda expression and Turing Machine differ in that each is defined as a particular

The Actor Model is a unique-up-to-isomorphism model of the theory Actors. Lambda expression and Turing Machine differ in that each is defined as a particular kind of machine. Actors can perform computations that cannot be implemented by a nondeterministic Turing Machine. Also, an Actor application can be hundreds of times faster than any lambda calculus implementation. A programming language implementation is also a particular kind of machine. For example Smalltalk-71 was a byte code interpreter machine not based on Actors. See the following: https://papers.ssrn.com/abstract=3603021 https://papers.ssrn.com/abstract=3603021