Multi-Level Meta-Reasoning with Higher Order Abstract Syntax (2003)

Cached

Download Links

by A. Momigliano , S. J. Ambler
Venue:Foundations of Software Science and Computation Structures, volume 2620 of Lecture Notes in Computer Science
Citations:12 - 4 self