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