Find link

language:

Find link is a tool written by Edward Betts.

searching for Fixed-point combinator 3 found (34 total)

Least fixed point (1,461 words) [view diff] no match in snippet view article find links to article

doi:10.1145/800070.802186. Charguéraud, Arthur (2010). "The Optimal Fixed Point Combinator" (PDF). Interactive Theorem Proving. 6172: 195–210. doi:10

Theory of computation (2,167 words) [view diff] no match in snippet view article find links to article

\lambda } -calculus, but also important differences exist (e.g. fixed point combinator Y has normal form in combinatory logic but not in λ {\displaystyle

Computability (3,293 words) [view diff] no match in snippet view article find links to article

\lambda } -calculus, but also important differences exist (e.g. fixed point combinator Y has normal form in combinatory logic but not in λ {\displaystyle