Category theory is useful for understanding lambda calculus—I feel like anyone who studies the latter will certainly encounter the former soon enough.
Category theory is useful for understanding lambda calculus—I feel like anyone who studies the latter will certainly encounter the former soon enough.