DMCA

Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs (2009)

by Naoki Kobayashi
Citations:63 - 14 self