PinnedOganyan RobertAnalysis of normal forms in lambda calculusHow many lambda-terms have a normal form? How do terms change as a result of beta-reduction? Let's explore some characteristics!Jul 23, 2022Jul 23, 2022
Oganyan RobertComparison of different reduction (evaluation) strategiesWhat reduction strategies do we know? What are the differences between different reduction strategies? Let's explore some characteristics…Aug 13, 2022Aug 13, 2022