From Syntactic Theories to Interpreters: Automating the Proof of Unique Decomposition

作者：Yong Xiao, Amr Sabry, Zena M. Ariola · 发表于：LISP and Symbolic Computation · 年份：2001 · DOI：10.1023/a:1014408032446 · 被引用次数：25 · 研究领域：Logic, programming, and type systems、Formal Methods in Verification、Chemical synthesis and alkaloids