Nested Abstract Syntax in Coq.

André Hirschowitz Marco Maggesi

Published in: J. Autom. Reason. (2012)

Keyphrases

high level
low level
theorem prover
natural language
hierarchical structure
feature selection
formal methods
hierarchical data