Tag: 拉姆达演算

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

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