linda1729

返回标签宇宙 TAG ARCHIVE

# 集合论

共收录 1 篇相关文章，按时间倒序排列，方便继续阅读。

相关标签

# 形式语义

ch3 集合论

用集合论把后续语义里的记号系统打底，减少推导时的卡顿感。

2026-01-22 Formal Semantics

形式语义集合论

评论