"Church encoding" meaning in English

{
  "etymology_text": "Named after Alonzo Church.",
  "forms": [
    {
      "form": "Church encodings",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "Church encoding (countable and uncountable, plural Church encodings)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English entries with language name categories using raw markup",
          "parents": [
            "Entries with language name categories using raw markup",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms with non-redundant non-automated sortkeys",
          "parents": [
            "Terms with non-redundant non-automated sortkeys",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus."
      ],
      "id": "en-Church_encoding-en-noun-6XrovrYT",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "data",
          "data"
        ],
        [
          "operator",
          "operator"
        ],
        [
          "lambda calculus",
          "lambda calculus"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "structure",
          "structure"
        ]
      ],
      "raw_glosses": [
        "(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus."
      ],
      "related": [
        {
          "word": "Church numeral"
        },
        {
          "word": "Church's theorem"
        }
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "Alonzo Church",
        "Church encoding"
      ]
    }
  ],
  "word": "Church encoding"
}

{
  "etymology_text": "Named after Alonzo Church.",
  "forms": [
    {
      "form": "Church encodings",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {
        "1": "~"
      },
      "expansion": "Church encoding (countable and uncountable, plural Church encodings)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "Church numeral"
    },
    {
      "word": "Church's theorem"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English entries with language name categories using raw markup",
        "English eponyms",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "English terms with non-redundant non-automated sortkeys",
        "English uncountable nouns",
        "en:Mathematics"
      ],
      "glosses": [
        "A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "data",
          "data"
        ],
        [
          "operator",
          "operator"
        ],
        [
          "lambda calculus",
          "lambda calculus"
        ],
        [
          "mathematical",
          "mathematical"
        ],
        [
          "structure",
          "structure"
        ]
      ],
      "raw_glosses": [
        "(mathematics) A means of representing data and operators in the lambda calculus, by forming them into a mathematical structure embedded in the lambda calculus."
      ],
      "tags": [
        "countable",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ],
      "wikipedia": [
        "Alonzo Church",
        "Church encoding"
      ]
    }
  ],
  "word": "Church encoding"
}