Church numeral

From Wikipedia
Revision as of 16:30, 25 October 2005 by imported>David Wahler (merging to Church encoding)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Redirect to:

Retrieved from "https://wiki.tachyony.co.uk/w/index.php?title=Church_numeral&oldid=47844"