@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}
}

{"_id":"vT8ZQfFRzLfjgdDzn","bibbaseid":"mcdowell-miller-reasoningwithhigherorderabstractsyntaxinalogicalframework-2002","author_short":["McDowell, R.","Miller, D."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Raymond"],"propositions":[],"lastnames":["McDowell"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Reasoning with Higher-Order Abstract Syntax in a Logical Framework","journal":"ACM Trans.\\ on Computational Logic","year":"2002","volume":"3","number":"1","pages":"80–136","pdf":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mcdowell01.pdf","bibtex":"@article{mcdowell02tocl,\n author = {Raymond McDowell and Dale Miller},\n title = {Reasoning with Higher-Order Abstract Syntax in a\n Logical Framework},\n journal = tocl,\n year = {2002},\n volume = {3},\n number = {1},\n pages = {80--136},\n pdf = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/mcdowell01.pdf}\n}\n\n","author_short":["McDowell, R.","Miller, D."],"key":"mcdowell02tocl","id":"mcdowell02tocl","bibbaseid":"mcdowell-miller-reasoningwithhigherorderabstractsyntaxinalogicalframework-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["reasoning","higher","order","abstract","syntax","logical","framework","mcdowell","miller"],"title":"Reasoning with Higher-Order Abstract Syntax in a Logical Framework","year":2002}