File:LambdaAbstraction.svg · Wikimedia Commons · See Wikimedia Commons
Also known as λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus
formal system in mathematical logic
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).