%0 Journal Article %A Pierce, Benjamin %A Dietzen, Scott %A Michaylov, Spiro %D 2007 %T Programming in higher-order typed lambda-calculi %U https://kilthub.cmu.edu/articles/journal_contribution/Programming_in_higher-order_typed_lambda-calculi/6608669 %R 10.1184/R1/6608669.v1 %2 https://kilthub.cmu.edu/ndownloader/files/12100091 %K Lambda calculus. %X Computer Science Department %I Carnegie Mellon University