@misc{miller02llw,
  author = {Dale Miller},
  title = {Higher-order quantification and proof search: an
                 extended abstract},
  month = jul,
  year = {2002},
  note = {Presented at Linear Logic 2002, FLoC, Copenhagen}
}

{"_id":"D58SNxrWMcjSHAsLg","bibbaseid":"miller-higherorderquantificationandproofsearchanextendedabstract-2002","author_short":["Miller, D."],"bibdata":{"bibtype":"misc","type":"misc","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Higher-order quantification and proof search: an extended abstract","month":"July","year":"2002","note":"Presented at Linear Logic 2002, FLoC, Copenhagen","bibtex":"@misc{miller02llw,\n author = {Dale Miller},\n title = {Higher-order quantification and proof search: an\n extended abstract},\n month = jul,\n year = {2002},\n note = {Presented at Linear Logic 2002, FLoC, Copenhagen}\n}\n\n","author_short":["Miller, D."],"key":"miller02llw","id":"miller02llw","bibbaseid":"miller-higherorderquantificationandproofsearchanextendedabstract-2002","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"misc","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["higher","order","quantification","proof","search","extended","abstract","miller"],"title":"Higher-order quantification and proof search: an extended abstract","year":2002}