A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
复制标题
具有绑定的类型和范围安全的语法宇宙：它们的语义和证明
DOI：
10.1017/s0956796820000076
复制
发表时间：
2021
影响因子：
1.1
通讯作者：
ALLAIS G
中科院分区：
文献类型：
--
作者：
ALLAIS G
