ucalgary.ca/courses/SENG/611/F99/ConceptMaps/ConceptMaps.html">http://sern.ucalgary.ca/courses/SENG/611/F99/ConceptMaps/ConceptMaps.html</A>

The equivalence in question is:

[A &amp; B =&gt; C] &lt;=&gt; [A =&gt; [B =&gt; C]].

This is a pretty important equivalence in computer science and math generally.

There is an analogy between two very fundamental formal systems, one known as
the "intuitionistic positive implicational calculus" (IPIC) and another known
as the "combinator calculus" (CC), which has ro