Skip to content

Church pair

Today it means: A Church encoding of the 2-tuple type. Full definition →

Ask AI about its historyChatGPT Claude Perplexity Google AI Grok

The story

Named after Alonzo Church.

Etymology from Wiktionary, CC BY-SA 4.0.