Lambda calculus: LINKS

https://en.wikipedia.org/wiki/Lambda_calculus_definition

• Combinator Birds: Index of combinators with SKI equivalents https://www.angelfire.com/tx4/cus/combinator/birds.html

• Lambda as JS, or A Flock of Functions Combinators, Lambda Calculus, and Church Encodings in JavaScript talk: https://glebec.github.io/lambda-talk/ code: https://github.com/glebec/lambda-talk

• Lambda_calculus https://en.wikipedia.org/wiki/Lambda_calculus

• Encoding datatypes https://en.wikipedia.org/wiki/Lambda_calculus#Encoding_datatypes

• Church encoding

• https://en.wikipedia.org/wiki/Church_encoding

• https://programmable.computer/posts/church_encoding.html

• Church encoded Either https://blog.ploeh.dk/2018/06/11/church-encoded-either/

• Scott encoding

  • Mogensen-Scott encoding https://en.wikipedia.org/wiki/Mogensen-Scott_encoding

  • Scott encoding https://kseo.github.io/posts/2016-12-13-scott-encoding.html

• Y combinator

  • Recursions without names https://blog.klipse.tech/lambda/2016/08/10/almost-y-combinator-javascript.html

  • The Y combinator in JS https://blog.klipse.tech/lambda/2016/08/10/pure-y-combinator-javascript.html

  • Y combinator and memoization https://blog.klipse.tech/lambda/2016/08/10/y-combinator-app-javascript.html

  • Y-combo in LC: LC in JS - Exploring recursion without bindings https://www.youtube.com/watch?v=FITJMJjASUs

• Lambda lifting

  • https://en.wikipedia.org/wiki/Lambda_lifting