OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>
OCaml (imperative part)</td>
<tr>
<td width=30%>untyped lambda calculus<br>
-combinatorial logic</td>
+combinatory logic</td>
<tr>
<td colspan=3 align=center>--------------------------------------------------- Turing complete ---------------------------------------------------</td>
<tr>