A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax (2010)

Cached

Download Links

by Amy Felty , Alberto Momigliano
Venue:Journal of Automated Reasoning
Citations:24 - 4 self