Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Partial combinatory algebra 1 found (3 total)
alternate case: partial combinatory algebra
Effective topos
(1,291 words)
[view diff]
exact match in snippet
view article
find links to article
the category theoretical framework. The topos is based on the partial combinatory algebra given by Kleene's first algebra K 1 {\displaystyle {\mathcal