Sciweavers

CORR
2008
Springer

Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax

14 years 5 days ago
Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax
Amy P. Felty, Alberto Momigliano
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where CORR
Authors Amy P. Felty, Alberto Momigliano
Comments (0)