In combinatory logic for computer science, a fixed-point combinator (or fixpoint combinator),: p.26  is a higher-order function (i.e. a function which...

first-order logic Lawvere's fixed-point theorem Discrete fixed-point theorems Earle-Hamilton fixed-point theorem Fixed-point combinator, which shows that every...

computer science, a fixed-point combinator is a higher-order function f i x {\displaystyle {\mathsf {fix}}} that returns a fixed point of its argument function...

attractor and, with probability 1, form a dense set in the latter. Fixed-point combinator Cobweb plot Markov chain Infinite compositions of analytic functions...

Y combinator may refer to: Y Combinator, an American tech startup accelerator Y combinator (mathematics), a fixed-point combinator This disambiguation...

fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially ordered set ("poset" for short) to itself is the fixed point...

interesting combinator is the fixed point combinator or Y combinator, which can be used to implement recursion. S and K can be composed to produce combinators that...

rec is an extension of the simple let expression which uses the fixed-point combinator to implement recursion. Dana Scott's LCF language was a stage in...

The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language, though it...

semantics, where another least fixed point theorem is used for the same purpose as the first recursion theorem. Fixed-point combinators, which are used in lambda...

{Y}}N)} , where Y {\displaystyle {\textsf {Y}}} denotes Curry's fixed-point combinator. Then X = ( N X ) = ( ( m X ) Z ) {\displaystyle X=(NX)=((mX)Z)}...

awakening – Vivid and convincing dream about awakening from sleep Fixed point combinator – Higher-order function Y for which Y f = f (Y f)Pages displaying...

with first argument representing recursive call (e.g. G here), the fixed-point combinator FIX will return a self-replicating lambda expression representing...

or "getting your fix", taking addictive drugs (from the 1960s) Fixed point combinator, in mathematics All pages with titles beginning with Fix All pages...

expressible in first-order logic with the addition of a suitable least fixed-point combinator. Recursive functions can be defined with this and the order relation...

abstraction Church–Rosser theorem Extensionality Church numeral Fixed point combinator SKI combinator calculus B, C, K, W system SECD machine Graph reduction...

Hilbert–Schmidt theorem Spectral theory of ordinary differential equations Fixed point combinator Fourier transform eigenfunctions Davydov 1976, p. 20. Kusse & Westwig...

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

factorial n = foldl (*) 1 [1..n] -- Point-free style factorial = foldr (*) 1 . enumFromTo 1 Using Haskell's Fixed-point combinator allows this function to be written...

arbitrary collection of base types, product types (tuples) and a fixed point combinator: data Lam :: * -> * where Lift :: a -> Lam a -- ^ lifted value Pair...

program, and then solving for a fixed point. Computer programming portal Diagonal lemma Droste effect Fixed point combinator Self-modifying code Self-interpreter...

function. This anonymous recursion can be produced generically via fixed-point combinators. Anonymous recursion is primarily of use in allowing recursion...

convenience. (This expression above is simply `Yk, where Y denotes a fixed point combinator.) More built-ins were introduced in Unlambda version 2. Input is...

American computer scientists are prominent in Episode 11 of the series. At one point in the anime, Lain is seen with code displayed on her handheld device that...

apparatus capable of defining functions anonymously and for the fixed-point combinator, which works around that restriction.) Then, with these two λ {\displaystyle...

(of a term of type σ → τ to a term of type σ) λ-abstraction The Y fixed point combinator (making terms of type σ out of terms of type σ → σ) The successor...

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

as g = foldr f v Also, in a lazy language with infinite lists, a fixed point combinator can be implemented via fold, proving that iterations can be reduced...

statement when preceded by its quotation Actor model Diagonal lemma Fixed point Fixed point combinator Gödel, Escher, Bach Indirection Self-interpreter...

where he also answers The Grand Question. SKI combinator calculus B, C, K, W system Fixed-point combinator Lambda calculus Logic puzzle Brain teaser Paradox...