# Lambda calculi: LINKS

## Articles

<https://en.wikipedia.org/wiki/Lambda\\_calculus> <https://en.wikipedia.org/wiki/Lambda\\_calculus\\_definition> <https://en.wikipedia.org/wiki/Church-Turing\\_thesis>

## Encoding schemes

<https://en.wikipedia.org/wiki/Lambda\\_calculus#Encoding\\_datatypes>

### Church encoding

<https://en.wikipedia.org/wiki/Church\\_encoding>

## Mogensen-Scott encoding

<https://en.wikipedia.org/wiki/Mogensen-Scott\\_encoding>

### Scott encoding

<https://en.wikipedia.org/wiki/Church\\_encoding#Represent\\_the\\_list\\_using\\_Scott\\_encoding>

Codewars: Scott Encoding in Haskell <https://www.codewars.com/kata/59c132fb70a3b7efd3000024>

Scott Encoding <https://www.youtube.com/watch?v=Q8kUPGhAX7A>

The Scott encoding <https://crypto.stanford.edu/\\~blynn/compiler/scott.html>

Scott encoding of Algebraic Data Types (Haskell blog) <https://kseo.github.io/posts/2016-12-13-scott-encoding.html>

Nested types in Scott encoding <https://stackoverflow.com/questions/30655680/how-do-you-represent-nested-types-using-the-scott-encoding>

## Category

<https://en.wikipedia.org/wiki/Category:Lambda\\_calculus>

## Wikibooks

<https://en.wikibooks.org/wiki/Lambda\\_Calculus>
