normal form and normalization property (abstract rewriting)

[@jinnzhu768]

thank you for the nice lecture🎉，would you like to create a playlist for this series video？

[@lambdaway]

thank you! I just created a playlists for formal systems and lambda calculus ua-cam.com/play/PL79T_6pcZAxx9WAK85QJGdpT-6GJ-E1PJ.html ua-cam.com/play/PL79T_6pcZAxxI7k5g4U6NPbeDYZRgpMM8.html