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
{"_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}