程序设计语言理论

本书为研究生系列教材之一。本书基于一个叫做λ演算的数学系统,而不是特定程序设计语言来分析程序设计语言...

2004.09