Abstract
We introduce an operational rewriting-based semantics for strictly positive nested higher-order (co)inductive types. The semantics takes into account ......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
