Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Exoplanets Artists Albums Gazetteer Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

fixed-point combinator · Vinony

Home
Combinatory logic
fixed-point combinator

🌐English

English Deutsch Polski Português Русский 中文日本語

fixed-point combinator

Image by MasterTux on Pixabay · Pixabay License

EntityQ2976255· pop 8· linked from 45 articles

fixed-point combinator

higher-order function y for which y f = f (y f)

Available in 8 languages

Deutsch
中文
日本語
Русский
Português
Estonian
Polski

via Wikidata sitelinks · CC0

Connections

lambda calculus

combinatory logic

Categories

Combinatory logic Fixed points (mathematics)Lambda calculus Mathematics of computing Programming language comparisons Recursion

Sources

wikipedia.externallinksexternallink
Wikidata (CC0)wikidata-claims
Pixabayimage-pixabay

tail recursion

Entity

evaluation strategy

computer science

International Standard Book Number

programming language

Wayback Machine

digital object identifier

mathematical logic

Sign in to save

What links here45 pages

SKI combinator calculus

lambda calculus

Church encoding

simply typed lambda calculus

P versus NP problem

fixed-point iteration

intuitionistic type theory

Generalized algebraic data type

variadic template

fixed-point theorem

combinatory logic

Curry's paradox

Hindley–Milner

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Stirling number

Entitydist 0.60

Entitydist 0.62

analytic combinatorics

Entitydist 0.64

Entitydist 0.71

bijective proof

Entitydist 0.72

Entitydist 0.73

intersection number

Entitydist 0.73

Entitydist 0.73

sigmoid function

Entitydist 0.73

Entitydist 0.74

Entitydist 0.74

Total: From Joy Division to New Order

Entitydist 0.74