DMCA

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

by Naoki Kobayashi
Citations:62 - 14 self