Combining de Bruijn Indices and Higher-Order Abstract Syntax in Coq.

Venanzio Capretta Amy P. Felty

Published in: TYPES (2006)

Keyphrases

higher order
high level
high order
natural images
pairwise
database
information retrieval
natural language
markov random field
higher level
databases
graph structure
low level
multiscale
combining multiple
formal methods
lower order
syntactic semantic