Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Polynomial functor (type theory) 1 found (4 total)
alternate case: polynomial functor (type theory)
Combinatorial species
(2,905 words)
[view diff]
no match in snippet
view article
find links to article
one gets the notion of polynomial functor (after imposing some finiteness condition).[citation needed] Container (type theory) Joyal prefers to write