Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax
Alberto Momigliano, Alan J. Martin, Amy P. FeltyVolume:
196
Year:
2008
Language:
english
Pages:
9
DOI:
10.1016/j.entcs.2007.09.019
File:
PDF, 248 KB
english, 2008