摘要： 鉴于我对lamda演算的热爱，第一篇献给丘奇，愿我能够以计算机界众多前辈为榜样，不断努力，为提高中国的计算机水平而不懈奋斗，死而后已。 阅读全文