10.1184/R1/6608669.v1 Benjamin Pierce Benjamin Pierce Scott Dietzen Scott Dietzen Spiro Michaylov Spiro Michaylov Programming in higher-order typed lambda-calculi Carnegie Mellon University 2007 Lambda calculus. 2007-03-01 00:00:00 Journal contribution https://kilthub.cmu.edu/articles/journal_contribution/Programming_in_higher-order_typed_lambda-calculi/6608669 Computer Science Department