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