About: Church encoding

Property	Value
dbo:description	representation of the natural numbers as higher-order functions (en) konstrukcja liczb naturalnych w rachunku lambda (pl)
dbo:wikiPageExternalLink	http://blog.klipse.tech/lambda/2016/07/24/lambda-calculus-2.html https://espace.library.uq.edu.au/view/UQ:171001 http://www.csse.monash.edu.au/~lloyd/tildeFP/Lambda/Examples/const-int/ http://www.cs.uiowa.edu/~astump/papers/archon.pdf http://www.cs.rice.edu/~javaplt/311/Readings/supplemental.pdf
dbo:wikiPageWikiLink	dbr:System_F dbr:Smalltalk dbr:Functional_programming dbr:Fold_(higher-order_function) dbr:Continuation dbc:Lambda_calculus dbr:Deductive_lambda_calculus dbr:Function_composition dbr:Lambda_calculus dbr:Arithmetic dbr:Integer dbr:Addition dbr:Exponentiation dbr:Fixed-point_combinator dbr:Cons dbr:Pico_(programming_language) dbr:Mathematics dbr:Ordinal_number dbr:Algebraic_data_type dbr:Computable_number dbr:Extensionality dbr:Lambda_lifting dbr:Multiplication dbr:Subtraction dbr:Alonzo_Church dbr:Truth_value dbr:Higher-order_function dbr:Ostensive_definition dbr:Scala_(programming_language) dbr:Rice_University dbr:Monus dbr:Successor_function dbr:Immutable_object dbr:Natural_number dbr:Division_(mathematics) dbr:Beta_reduction dbr:Higher-ranked_type dbr:Mogensen–Scott_encoding dbr:Church's_theorem dbr:Haskell_(programming_language) dbr:List_(computing) dbr:Turing_complete dbr:Church-Turing_thesis
dbp:date	December 2019 (en) March 2022 (en)
dbp:reason	The Church–Turing thesis is that lambda calculus is Turing complete. (en)
dbp:wikiPageUsesTemplate	dbt:Cite_web dbt:Notelist dbt:Math dbt:Code dbt:Cite_journal dbt:Alonzo_Church dbt:See_also dbt:Dubious dbt:Lead_too_short dbt:Mvar dbt:Cite_thesis dbt:Mathematical_logic dbt:Clarification_needed dbt:Efn dbt:Short_description
dct:subject	dbc:Lambda_calculus
gold:hypernym	dbr:Means
rdfs:label	Church encoding (en) Κωδικοποίηση Τσερτς (el) Church-Kodierung (de) Booleano di Church (it) Liczby naturalne Churcha (pl) Codificação de Church (pt) Кодирование Чёрча (ru) 邱奇数 (zh)
rdfs:seeAlso	dbr:Cons
owl:sameAs	freebase:Church encoding wikidata:Church encoding dbpedia-it:Church encoding dbpedia-de:Church encoding dbpedia-zh:Church encoding dbpedia-pt:Church encoding dbpedia-fa:Church encoding dbpedia-ru:Church encoding dbpedia-pl:Church encoding dbpedia-el:Church encoding dbpedia-global:Church encoding
prov:wasDerivedFrom	wikipedia-en:Church_encoding?oldid=1294264566&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Church_encoding
is dbo:knownFor of	dbr:Alonzo_Church
is dbo:wikiPageRedirects of	dbr:Church_boolean dbr:Church_booleans dbr:Church_integer dbr:Church_number dbr:Church_numbers dbr:Church_numeral dbr:Church_numerals
is dbo:wikiPageWikiLink of	dbr:System_F dbr:Parametricity dbr:Unary_numeral_system dbr:Deductive_lambda_calculus dbr:Lambda_calculus dbr:Fixed-point_combinator dbr:Type_theory dbr:Cons dbr:OCaml dbr:Combinatory_logic dbr:Alonzo_Church dbr:Gödel_numbering dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Visitor_pattern dbr:Mogensen–Scott_encoding dbr:Church_boolean dbr:Church_booleans dbr:Church_integer dbr:Church_number dbr:Church_numbers dbr:Church_numeral dbr:Church_numerals
is dbp:knownFor of	dbr:Alonzo_Church
is foaf:primaryTopic of	wikipedia-en:Church_encoding