Added some redirects.

]]>You made the right call. Thanks, Daniil.

]]>The change from the 16th revison to the 17th contains a typo. It reads:

let $Hom(f, g)$ be the set of $a$ in $A$ such that for all $x$ in $X$ and $a'$ in $f(x)$, $a$ is an element of $g(x)$, and $a a'$ is defined (that is, $a$ is applicable to $a'$.

I changed it to

]]>let $Hom(f, g)$ be the set of $a$ in $A$ such that for all $x$ in $X$ and $a'$ in $f(x)$, $a a'$ is defined (that is, $a$ is applicable to $a'$), and $a a'$ is an element of $g(x)$.

I have been adding material to partial combinatory algebra.

I plan on linking this to an article on functional completeness for cartesian closed categories, and on deduction theorems for various simple calculi.

]]>