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 made the requested link for “computational” redirect to computation
and made “typing system” redirect to type theory
Where the idea section contrasts “monadic” with “polyadic” we should also give hyperlinks. But I am not sure what you want here. Maybe monad and polymonad?
Thanks for the edits, as far as I know there is no connection between the term “polyadic” (which in this context means $n$-ary) and polymonads. See the page n-ary group which refers to Post’s article entitled “Polyadic groups”. Maybe “monadic” should link to unary.
Thanks for the explanation, but let’s edit the entry such as to make this clear there.
If “monadic” is the usual term in this context for “unary” we could use parenthesis, like this:
In the “monadic” (here meaning: unary) $\pi$-calculus… while the “polyadic” (here meaning: $n$-ary) $\pi$-calculus…
Thanks! I have made also “n-ary” redirect to “arity class”, for the time being.
1 to 10 of 10