🗄️
math-debrief
search
Ctrlk
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentalschevron-right
  • 200 Set and Set theorychevron-right
  • Relationschevron-right
  • Order theorychevron-right
  • Function Theorychevron-right
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:chevron-right
  • Logicchevron-right
  • 510 Lambda Calculichevron-right
    • Lambda Calculus: GLOSSARY
    • Lambda calculi: LINKS
    • Lambda Calculus: OUTLINE
    • Lambda Calculus: Basic conceptschevron-right
    • Lambda Calculichevron-right
    • combinatory-logicchevron-right
    • Lambda calculus encoding schemeschevron-right
      • bohm-berarducci-encoding
      • Index of Church encodings
      • Church encodings
      • Church Numerals
      • Encoding data structures
      • Encoding schemes in lambda calculi
      • Lambda encoding
      • Mogensen-Scott encoding
      • Parigot encoding
      • encodingschevron-right
    • lambda-calculus-evaluationchevron-right
    • lambda-calculus-formschevron-right
    • lambda-calculus-reductionschevron-right
    • lambda-calculuschevron-right
    • Lambda Calculuschevron-right
    • typed-lambda-calculichevron-right
  • Type theorychevron-right
  • Abstract Algebrachevron-right
  • Category Theorychevron-right
  • Number Theorychevron-right
  • Theory of computationchevron-right
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,chevron-right
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathematchevron-right
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. 510 Lambda Calculi

Lambda calculus encoding schemes

bohm-berarducci-encodingchevron-rightIndex of Church encodingschevron-rightChurch encodingschevron-rightChurch Numeralschevron-rightEncoding data structureschevron-rightEncoding schemes in lambda calculichevron-rightLambda encodingchevron-rightMogensen-Scott encodingchevron-rightParigot encodingchevron-rightencodingschevron-right
Previous04-definitionchevron-leftNextbohm-berarducci-encodingchevron-right

Last updated 4 years ago