<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Functional programming - Page 11 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=functional_programming&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=functional_programming&amp;p=12">3.Next</a>
</p>
<p>(since Java 8).</p>

<p><big> History </big></p>
<p>The <a href="page.php?w=lambda_calculus">lambda calculus</a>, developed in the 1930s by <a href="page.php?w=Alonzo_Church">Alonzo Church</a>, is a <a href="page.php?w=formal_system">formal system</a> of <a href="page.php?w=computation">computation</a> built from <a href="page.php?w=function_application">function application</a>. In 1937 <a href="page.php?w=Alan_Turing">Alan Turing</a> proved that the lambda calculus and <a href="page.php?w=Turing_machines">Turing machines</a> are equivalent models of</p><p>
<a accesskey="1" href="page.php?w=functional_programming&amp;p=10">1.Previous</a><br />
<a accesskey="3" href="page.php?w=functional_programming&amp;p=12">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
