🗄️
math-debrief
More
Search
Ctrl + K
lambda-calculus-reductions
Previous
Fixity of lambda-terms
Next
Alpha conversion
Alpha conversion
Beta reduction
Delta reduction
Eta conversion
Eta conversion
Lambda calculus: η-conversion