Amy P. Felty, Alberto Momigliano. Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax. CoRR, abs/0811.4367, 2008. [doi]
@article{abs-0811-4367,
title = {Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax},
author = {Amy P. Felty and Alberto Momigliano},
year = {2008},
url = {http://arxiv.org/abs/0811.4367},
note = {informal publication},
tags = {syntax definition, abstract syntax, systematic-approach},
researchr = {https://researchr.org/publication/abs-0811-4367},
cites = {0},
citedby = {0},
journal = {CoRR},
volume = {abs/0811.4367},
}