Tag: 拉姆达演算

学习Lambda微积分有哪些资源？

所以在Lambda微积分上的维基百科条目很有趣，但我已经完成了。 我希望深入一点，更好地理解Lambda微积分。 任何人都可以推荐他们认为是Lambda微积分最好的书或者入门书吗？