Software: Tiger Trials

ial translation of a set of purely mathematical lambda-calculus expressions. So where is the line drawn between software and mathematical expression? Based on Church’s and Turing’s work, there is none. Any legal attempt to force a wedge between pure math and software will fail because the two are one and the same. A patent on a program is a patent on a mathematical expression, regardless of whether it is expressed in C, Lisp, or lambda calculus.