# 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
