Church encoding (Q1089708)
Jump to navigation
Jump to search
representation of the natural numbers as higher-order functions
Language | Label | Description | Also known as |
---|---|---|---|
English | Church encoding |
representation of the natural numbers as higher-order functions |
Statements
Identifiers
Sitelinks
Wikipedia(9 entries)
- dewiki Church-Kodierung
- elwiki Κωδικοποίηση Τσερτς
- enwiki Church encoding
- fawiki کدگذاری چرچ
- itwiki Booleano di Church
- plwiki Liczby naturalne Churcha
- ptwiki Codificação de Church
- ruwiki Кодирование Чёрча
- zhwiki 邱奇数