Abstract
What is the right notion of "isomorphism" between types, in a simple type theory? The traditional answer is: a pair of terms that are inverse, up to a......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
