🗄️
math-debrief
CtrlK
  • Math Debrief
  • Math: TIMELINE
  • 100-fundamentals
  • 200 Set and Set theory
  • Relations
  • Order theory
  • Function Theory
  • debrief-name: math section-code: 280 section-name: domain-theory section-desc:
  • Logic
  • 510 Lambda Calculi
    • Lambda Calculus: GLOSSARY
    • Lambda calculi: LINKS
    • Lambda Calculus: OUTLINE
    • Lambda Calculus: Basic concepts
    • Lambda Calculi
    • combinatory-logic
    • Lambda calculus encoding schemes
      • 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
      • encodings
    • lambda-calculus-evaluation
    • lambda-calculus-forms
    • lambda-calculus-reductions
    • lambda-calculus
    • Lambda Calculus
    • typed-lambda-calculi
  • Type theory
  • Abstract Algebra
  • Category Theory
  • Number Theory
  • Theory of computation
  • debrief-name: math section-code: 900 section-name: aggregations section-desc: Aggregations, indices,
  • debrief-name: math section-code: 800 section-name: misc section-desc: Misc and unclassified mathemat
Powered by GitBook
On this page

Was this helpful?

  1. 510 Lambda Calculi
  2. Lambda calculus encoding schemes

Parigot encoding

Parigot encoding for F-Algebras https://cstheory.stackexchange.com/questions/46677/parigot-encoding-for-f-algebras

Introduction to the Parigot encoding podcast https://www.buzzsprout.com/728558/2780188-introduction-to-the-parigot-encoding https://www.buzzsprout.com/728558/2809891-more-on-the-parigot-encoding

PreviousMogensen-Scott encodingNextencodings

Last updated 4 years ago

Was this helpful?