nForum - Discussion Feed (partial combinatory algebra) 2019-12-12T23:11:31-05:00 https://nforum.ncatlab.org/ Lussumo Vanilla & Feed Publisher James Francese comments on "partial combinatory algebra" (80824) https://nforum.ncatlab.org/discussion/4037/?Focus=80824#Comment_80824 2019-11-02T23:53:34-04:00 2019-12-12T23:11:30-05:00 James Francese https://nforum.ncatlab.org/account/1467/ Added some redirects. diff, v21, current

]]>
Todd_Trimble comments on "partial combinatory algebra" (54524) https://nforum.ncatlab.org/discussion/4037/?Focus=54524#Comment_54524 2015-09-03T09:36:44-04:00 2019-12-12T23:11:31-05:00 Todd_Trimble https://nforum.ncatlab.org/account/24/ You made the right call. Thanks, Daniil.

You made the right call. Thanks, Daniil.

]]>
Daniil comments on "partial combinatory algebra" (54523) https://nforum.ncatlab.org/discussion/4037/?Focus=54523#Comment_54523 2015-09-03T09:06:45-04:00 2019-12-12T23:11:31-05:00 Daniil https://nforum.ncatlab.org/account/1426/ The change from the 16th revison to the 17th contains a typo. It reads: let Hom(f,g)Hom(f, g) be the set of aa in AA such that for all xx in XX and a&prime;a' in f(x)f(x), aa is an element of ...

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)$.

]]>
Todd_Trimble comments on "partial combinatory algebra" (33063) https://nforum.ncatlab.org/discussion/4037/?Focus=33063#Comment_33063 2012-08-16T03:23:24-04:00 2019-12-12T23:11:31-05:00 Todd_Trimble https://nforum.ncatlab.org/account/24/ 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 ...

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.

]]>