Simply-Typed Lambda Calculus (Slides made by Hongjin Liang, mostly following Dan Grossman's teaching materials) Simply-Typed Lambda Calculus (Slides made by Hongjin Liang, mostly following Dan Grossman’s teaching materials)