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