Abstract
Higher-order logic HOL offers a very simple syntax and semantics for representing and reasoning about typed data structures. But its type system lacks......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
