Home Forums Blogs Articles Photos Videos Contact FAQ

Fixed point combinator - Existence of fixed point combinators - Article Index

Index of articles related to Fixed point combinator - Existence of fixed point combinators

Fixed point combinator - Existence of fixed point combinators

This is the index page for articles related to Fixed point combinator - Existence of fixed point combinators. The articles are presented in order of relevance for Fixed point combinator - Existence of fixed point combinators.

More material related to Fixed Point Combinator can be found here:

Main Page
for
Fixed Point Combinator

	Encyclopedia - Fixed Point Combinator: Encyclopedia Ii - Fixed Point Combinator - Existence Of Fixed Point Combinators In certain formalizations of mathematics, such as the untyped lambda calculus and combinatorial calculus, every expression can be conside... » Read the article
	Encyclopedia - Fixed Point Combinator: Encyclopedia Ii - Fixed Point Combinator - Other Fixed Point Combinators A version of the Y combinator that can be used in call-by-value (applicative-order) evaluation is given by η-expansion of part of the or... » Read the article
	Encyclopedia - Fixed Point Combinator: Encyclopedia Ii - Fixed Point Combinator - Example Consider the factorial function (under Church encoding). The usual recursive mathematical equation is fact(n) = if n=0 then 1 else n * f... » Read the article
	Encyclopedia - Fixed Point Combinator: Encyclopedia Ii - Fixed Point Combinator - Other Fixed Point Combinators A version of the Y combinator that can be used in call-by-value (applicative-order) evaluation is given by η-expansion of part of the or... » Read the article

» Home »