Reasoning with Higher-Order Abstract Syntax in a Logical Framework. McDowell, R. & Miller, D. ACM Trans.\ on Computational Logic, 3(1):80–136, 2002.
bibtex   
@article{mcdowell02tocl,
  author = {Raymond McDowell and Dale Miller},
  title = {Reasoning with Higher-Order Abstract Syntax in a
                 Logical Framework},
  journal = tocl,
  year = {2002},
  volume = {3},
  number = {1},
  pages = {80--136},
  pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mcdowell01.pdf}
}

Downloads: 0