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
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?

510 Lambda Calculi
Lambda calculus encoding schemes

encodings

Encoding data structures Encoding of Data Types in the λ-calculus church-booleans Church data structures Church encoding Church Numerals: Church encoding of natural numbers Lambda Calculus: Church encoding Lambda Calculus: Church encoding church-numerals Lambda Calculus: Church encoding: Numerals Church pair Pair Lambda Calculus: Church encoding Alternative encodings Encoding schemes Encoding schemes Encodings in Untyped Lambda Calculus Lambda calculus Scott encoding Lambda calculus: Scott encoding

PreviousParigot encoding NextEncoding data structures

Was this helpful?