把SICP列入PLT之类肯定是不适合的,真正的PLT需要的基础就很多了,包括:Lambda、Semantics、Category、Domain theory等等。入门都不知道怎么入......
这本书看看吧:https://book.douban.com/subject/1761910/ ,libgen有下载,可以顺便搜索一下这个作者的其他书。不容易的一本书。
这本就容易一点:https://book.douban.com/subject/2587705/ , 但是感觉是“到喉不到肺”,看看有什么概念是可以的。之前有引进版,现在不知道是否可以买到。