Church-Kodierung
Sign in to saverepresentation of the natural numbers as higher-order functions
Article · Deutsch
Unter Church-Kodierung versteht man die Einbettung von Daten und Operatoren in den Lambda-Kalkül. Die bekannteste Form sind die Church-Numerale, welche die natürlichen Zahlen repräsentieren. Benannt sind sie nach Alonzo Church, der Daten als Erster auf diese Weise modellierte.
Abstract from DBpedia / Wikipedia · CC BY-SA