CTfP-2021 这是与“课程相对应的材料(代码和演示幻灯片),该课程涵盖了“程序员的类别理论”一书。 图书: 博客文章: 讲座: 聚会聚会录像: 补充材料 史蒂夫·奥沃迪(Steve Awodey)的 史蒂夫·阿沃迪(Steve Awodey)的