Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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)$.
You made the right call. Thanks, Daniil.
1 to 4 of 4