 is another extremely important component of (any) logic, and as we see this is completely equivalent to another extremely important component of (any) programming language: <em>function application</em>.</p>
<h3><a href="#the-curry-howard-correspondance" id="the-curry-howard-correspondance"></a>The Curry-Howard correspondance</h3>
<p>What we just experienced in the previous section was discovered (partially) by Haskell Curry and later more concretely explained by William A. Howard (but then refined by many