Theoretical Pearl: Church numerals‚ twice!

Theoretical Pearl: Church numerals‚ twice!

This pearl explains Church numerals, twice. The first explanation links Church numerals to Peano numerals via the well-known encoding of data types in the polymorphic λ-calculus. This view suggests that Church numerals are folds in disguise. The second explanation, which is more elaborate, but also...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Hinze, R
Formáid:	Journal article
Foilsithe / Cruthaithe:	2005

Míreanna comhchosúla

Church numerals‚ twice!
de réir: Hinze, R
Foilsithe / Cruthaithe: (2002)

Functional Pearl: The Bird Tree
de réir: Hinze, R
Foilsithe / Cruthaithe: (2009)

Functional Pearl: Weaving a Web
de réir: Hinze, R
Foilsithe / Cruthaithe: (2001)

Functional Pearl: Explaining binomial heaps
de réir: Hinze, R
Foilsithe / Cruthaithe: (1999)

Special issue on functional pearls (Editorial)
de réir: Hinze, R
Foilsithe / Cruthaithe: (2004)

Functional Pearl: Formatting: a class act
de réir: Hinze, R
Foilsithe / Cruthaithe: (2003)

Functional pearl: Streams and unique fixed points
de réir: Hinze, R
Foilsithe / Cruthaithe: (2008)

Functional Pearl: La Tour D'Hanoï
de réir: Hinze, R
Foilsithe / Cruthaithe: (2009)

Functional pearl: streams and unique fixed points
de réir: Hinze, R
Foilsithe / Cruthaithe: (2008)

Functional pearl: Streams and unique fixed points
de réir: Hinze, R
Foilsithe / Cruthaithe: (2008)

Functional pearl: la tour d'Hanoï
de réir: Hinze, R
Foilsithe / Cruthaithe: (2009)

Functional Pearl: La Tour D'Hanoi
de réir: Hinze, R
Foilsithe / Cruthaithe: (2009)

Functional Pearl: Weaving a web
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2001)

Functional Pearl: Perfect trees and bit−reversal permutations
de réir: Hinze, R
Foilsithe / Cruthaithe: (2000)

Functional Pearl: Streams and Unique Fixed Points
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2008)

Functional Pearl: La Tour D'Hanoi
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2009)

Functional Pearl: F for Functor
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2012)

Functional Pearl: F for Functor
de réir: Hinze, R, et al.
Foilsithe / Cruthaithe: (2012)

Functional Pearl: Trouble shared is trouble halved
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2003)

Functional Pearl Trouble Shared is Trouble Halved
de réir: Bird, R, et al.
Foilsithe / Cruthaithe: (2003)

Functional Pearl: Purely Functional 1−2 Brother Trees
de réir: Hinze, R
Foilsithe / Cruthaithe: (2009)

Functional Pearl: A fresh look at binary search trees
de réir: Hinze, R
Foilsithe / Cruthaithe: (2002)

Functional pearl typed quote/antiquote or: Compile-time parsing
de réir: Hinze, R
Foilsithe / Cruthaithe: (2011)

RURAL CHURCHES, „PEARLS” OF RURAL ARCHITECTURE IN CRIȘANA AND MARAMUREȘ
de réir: Alexandru ILIEȘ
Foilsithe / Cruthaithe: (2013-12-01)

Querying twice to achieve information-theoretic verifiability in private information retrieval
de réir: Kruglik, Stanislav, et al.
Foilsithe / Cruthaithe: (2024)

Twice Kissed /
de réir: Jackson, Lisa, 1952-, author 218751
Foilsithe / Cruthaithe: (2009)

Twice as Natural
Foilsithe / Cruthaithe: (2023-07-01)

Once and Twice
de réir: Richard S. Kayne
Foilsithe / Cruthaithe: (2015-05-01)

Without thinking twice
de réir: Gabriela Cornelli dos Santos, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Twice Bitten, Thrice Shy
de réir: Stephanie Wiltshire, BMed, et al.
Foilsithe / Cruthaithe: (2021-03-01)

Decision-theoretic foundations for statistical causality: Response to Pearl
de réir: Dawid Philip
Foilsithe / Cruthaithe: (2022-11-01)

Compaction of Church Numerals
de réir: Isamu Furuya, et al.
Foilsithe / Cruthaithe: (2019-08-01)

Twice upon a wedding /
de réir: Stone, Jean, 1948-, author
Foilsithe / Cruthaithe: (2005)

You only love twice /
de réir: 457089 Wilde, Lori
Foilsithe / Cruthaithe: (2006)

Twice upon a time /
de réir: Forster, Kate (Kate Louise), author
Foilsithe / Cruthaithe: (2014)

Twice is enough for dangerous eigenvalues
de réir: Horning, A, et al.
Foilsithe / Cruthaithe: (2022)

Measure twice, cut once /
de réir: 319488 Tolpin, Jim
Foilsithe / Cruthaithe: (1996)

When cancer strikes (twice)
de réir: Nicole Swann
Foilsithe / Cruthaithe: (2023-02-01)

Smart bats click twice
de réir: Manfred Kössl, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Twist it once, twist it twice
de réir: Anna Wiehl
Foilsithe / Cruthaithe: (2022-02-01)