Journal of automated reasoning. 2012;49(2):185-207. doi: 10.1007/s10817-011-9229-y Q40.72025

A Canonical Locally Named Representation of Binding

绑定的规范局部命名表示法

DOI: 10.1007/s10817-011-9229-y

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！