2024年1月26日
6-Nameless Representation of Terms
摘要： 无名称项 de Bruijn 使用自然数来表示项，而不是字母组成的名称；自然数 k 表示绑定于相对于当前层第 k 个 绑定器 binder 的囿变量（the variable bound by the k'th enclosing λ） 马世龙版《类型和程序设计语言》使用“囿”来形容这种被界定的关系 阅读全文
posted @ 2024-01-26 21:22 sysss 阅读(45) 评论(0) 推荐(0)