lambda calculus beta reduction problems practice - SERP Analysis

https://www.cs.bu.edu/fac/snyder/cs320/Review%20and%20Practice%20Problems/Practice%20Problems%2006.html

https://courses.grainger.illinois.edu/cs421/sp2020/slides/04.2.2-lambda-calculus-examples.pdf

https://groups.seas.harvard.edu/courses/cs152/2019sp/sections/sec-week05-soln.pdf

https://cs.stackexchange.com/questions/52941/lambda-calculus-reduction-examples

https://www.cs.rochester.edu/u/brown/173/exercises/functional/lambda/lambda_ex1.pdf

https://comp.anu.edu.au/courses/comp1100/comp1130/Comp1130_Solutions_2.pdf

https://stackoverflow.com/questions/34140819/lambda-calculus-reduction-steps

http://www.cs.umd.edu/~anwar/cmsc330_tests/prac8-soln-fall13.pdf

https://math.stackexchange.com/questions/513761/lambda-calculus-beta-reduction-and-predecessor-function

http://web.stanford.edu/class/cs242/materials/lectures/lecture04.pdf

https://www.cs.tufts.edu/comp/105-2019f/homework/06-lambda.html

https://pages.cs.wisc.edu/~horwitz/CS704-NOTES/1.LAMBDA-CALCULUS.html

http://www.cs.umd.edu/~anwar/cmsc330_tests/prac8-fall13.pdf

https://cs.pomona.edu/~michael/courses/csci131s18/downloads/lc.pdf

https://opendsa.cs.vt.edu/OpenDSA/Books/PL/html/BetaReduction.html

https://www.youtube.com/watch?v=NsZPm3W9EOc

https://github.com/sjsyrek/study-haskell-nyc/blob/master/resources/lambda-calculus-bonus-exercises-answers.md

https://diderot.one/courses/56/books/275/chapter/3269

https://www.reddit.com/r/haskell/comments/c5mbsl/is_beta_reduction_of_lambda_expression_equivalent/

https://www.cs.bu.edu/fac/snyder/cs320/Lectures/Lecture15--%20Lambda%20Calculus%20II.pdf

https://www.youtube.com/watch?v=R1dmeFEJyqI

https://cgi.cse.unsw.edu.au/~cs4161/11s2/week01B_4p.pdf

https://stackoverflow.com/questions/50999623/lambda-calculus-beta-reduction-variables/52124652

https://opendsa.cs.vt.edu/ODSA/Books/PL/html/ReductionStrategies.html

http://www.cs.columbia.edu/~aho/cs3261/Lectures/L23-Lambda_Calculus_I.html

http://prl.ccs.neu.edu/blog/2016/11/02/beta-reduction-part-1/

https://groups.seas.harvard.edu/courses/cs152/2016sp/sections/sec-2016-02-18-soln.pdf

https://www.youtube.com/watch?v=Paxvaq0Q-S0&pp=ygUQYmV0YSBub3JtYWwgZm9ybQ%3D%3D

https://www.cs.tufts.edu/comp/105-2016s/homework/lambda.html

https://www.educative.io/answers/what-is-beta-reduction-in-lambda-calculus

https://www.reddit.com/r/haskell/comments/hxy2ac/lambda_calculus_betareduction_question/

https://lucasfcosta.com/2018/08/05/An-Introduction-to-Lambda-Calculus-Part-2.html

https://www.chegg.com/homework-help/questions-and-answers/problem-3-lambda-calculus-beta-reductions--following-expressions-give-resulting-expression-q34838768

https://www.youtube.com/watch?v=VS_GK-9xUO4

http://www.cs.columbia.edu/~aho/cs3261/Lectures/L24-Lambda_Calculus_II.html

https://www.youtube.com/watch?v=RQyu_xcqxI0

https://www.chegg.com/homework-help/questions-and-answers/lambda-calculus-apply-beta-reduction-following-expressions-solve-paper-upload-scanned-vers-q179835506

https://cs.lmu.edu/~ray/notes/lambdacalculus/

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

https://discuss.ocaml.org/t/learn-lambda-calculus-in-10-minutes-with-ocaml/14004

https://www.youtube.com/watch?v=6goESiHNhIo

https://www.irif.fr/~mellies/mpri/mpri-ens/biblio/Selinger-Lambda-Calculus-Notes.pdf

https://plato.stanford.edu/entries/lambda-calculus/

https://www.berniepope.id.au/assets/files/lambda_calculus_quiz.pdf

https://www.cs.drexel.edu/~johnsojr/2016-17/spring/cs550/lectures/5/lambda.pptx

https://www.geneseo.edu/~baldwin/math304/spring2016/ps-lambda.php

https://home.ttic.edu/~pl/classes/CMSC336-Winter08/lectures/lec4.pdf

https://diderot-production.s3.amazonaws.com/media/courses_public/15897%3Aparallel%3Af19/TB897/ch%3Alambda/chapter_attachments/153b2f4a-d359-11e9-8f90-12458d8fa638_beta.pdf

https://www.cs.ox.ac.uk/teaching/courses/2024-2025/lambda/

https://aartaka.me/lambda-0.html

https://tgdwyer.github.io/lambdacalculus/

https://ics.uci.edu/~lopes/teaching/inf212W12/readings/lambda-calculus-handout.pdf

https://www.cs.cornell.edu/~asampson/media/papers/lambdalab-splashe2018-preprint.pdf

https://www.sciencedirect.com/science/article/pii/S1571066109002400

https://home.uni-leipzig.de/gkobele/courses/2020.WS/CompLing/posts/funcprogandlambdacalc/

https://www2.math.uconn.edu/~solomon/Byrne_Honors_Final.pdf

https://golem.ph.utexas.edu/category/2015/05/a_2categorical_approach_to_the.html

https://personal.morris.umn.edu/~elenam/4651_fall08/examples/CBV_CBN.pdf

https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=13560641497a689e87b44abdbf82b0ed434e9ef3

https://fastercapital.com/topics/mastering-variables-in-lambda-calculus.html/1

https://dl.acm.org/doi/10.1145/2603088.2603105

https://brilliant.org/wiki/lambda-calculus/

https://www.cs.cmu.edu/~venkatg/teaching/15252-sp21/notes/lambda-calculus-slides.pdf

https://builds.openlogicproject.org/content/lambda-calculus/church-rosser/parallel-beta-reduction.pdf

https://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter5.pdf

https://scg.unibe.ch/download/lectures/pl/PL-05LambdaCalculus.pdf

https://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf

https://serokell.io/blog/untyped-lambda-calculus

https://www.matthiaspreu.com/posts/lambda-calculus-fundamentals/

https://plfa.inf.ed.ac.uk/Confluence/

https://www.codurance.com/publications/2017/11/09/lambda-calculus-for-mortal-developers

https://www.cs.arizona.edu/~collberg/Teaching/520/2005/Handouts/Handout-22.pdf

https://www.semanticscholar.org/paper/Repetitive-Reduction-Patterns-in-Lambda-Calculus-in-Rochel-Grabmayer/4513593df58b007b94854f6a196ba2c9206cfec2

https://dice14.tcs.ifi.lmu.de/abstracts/Accattoli_DalLago.pdf

https://lmcs.episciences.org/1627

https://www.dmi.unict.it/barba/FOND-LING-PROG-DISTR/PROGRAMMI-TESTI/READING-MATERIAL/ShortIntroFPprog-lang.htm

https://esolangs.org/wiki/Lambda_calculus

https://www.cs.ox.ac.uk/teaching/courses/2011-2012/lambda/

https://www.cs.rpi.edu/academics/courses/spring11/proglang/handouts/lambda-calculus-chapter.pdf

https://code.lol/post/programming/programs-of-length-n/

https://kcsrk.info/cs3100_f19/lectures/lec9/lec9.pdf

https://www.studocu.com/en-us/document/arizona-state-university/principles-of-programming-languages/lambda-exercises-with-soln/24900397

https://home.ttic.edu/~pl/classes/CMSC336-Winter08/lectures/lec5.pdf

https://www.ccs.neu.edu/home/shivers/papers/bubs.pdf

https://www.classes.cs.uchicago.edu/archive/2002/winter/CS33600/slides/Lesson2.pdf

https://www.cs.cornell.edu/courses/cs312/2008sp/recitations/rec26.html

https://www21.in.tum.de/teaching/logik/SS12/

https://web.eecs.umich.edu/~weimerw//2010-1120/classes/class26.html

https://ceur-ws.org/Vol-3624/Paper_13.pdf

https://www.cs.ucf.edu/~leavens/ComS541Fall04/homework/hw2-lambda-calculus.pdf

https://www.codementor.io/%40erikeidt/on-lambda-calculus-z9vekdgpf

https://www.cs.rutgers.edu/courses/515/classes/fall_2018_kremer/homeworks/hw2.pdf

https://www3.cs.stonybrook.edu/~youngkwon/cse216/Lecture08_Lambda_Calculus.pdf

https://www.cs.yale.edu/homes/hudak/CS201S08/lambda.pdf

https://dl.acm.org/doi/pdf/10.1145/96709.96711

https://fastercapital.com/topics/introduction-to-lambda-calculus-reduction.html/1

https://smunix.github.io/dev.stephendiehl.com/fun/003_lambda_calculus.html

http://www.mscs.dal.ca/~selinger/papers/lambdanotes-2up.ps

https://www.cs.utexas.edu/~bornholt/courses/cs345h-24sp/lectures/7-stlc/