无标题无名氏No.68573675 只看PO
2026-05-01(五)10:43:24 ID:URcnzXA 回应
问道于肥
最近学了些coq基础，感觉对这方面有些兴趣。如果想往程序语言方面深入走一些的话肥哥们有什么学习路径建议吗( ﾟ∀。)7
无标题无名氏No.68573899
2026-05-01(五)11:51:00 ID: OPsGU3U
能看英文的话，PL你可能想看
Abelson和Sussman的Structure and Interpretation of Computer Programs
Sipser的Introduction to the Theory of Computation
Pierce的Types and Programming Languages
如果想做automated theorem proving就上
Harrison的Handbook of Practical Logic and Automated Reasoning
或者比较小巧可爱的Friedman和Eastlund的The Little Prover
如果想带代数玩推荐
Geddes, Czapor, Labahn的Algorithms for Computer Algebra
无标题无名氏No.68574663
2026-05-01(五)14:42:12 ID: URcnzXA (PO主)
>>No.68573899
po刚出门觅食去了，才看到，谢肥哥(*ﾟ∇ﾟ)
回头从图书馆顺本tapl看看