@phdthesis{miller83,
  author = {Dale Miller},
  title = {Proofs in Higher-order Logic},
  school = {Carnegie-Mellon University},
  month = aug,
  year = {1983},
  url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/th.pdf}
}

{"_id":"Zu4SJNPMb55bg3PCb","bibbaseid":"miller-proofsinhigherorderlogic-1983","author_short":["Miller, D."],"bibdata":{"bibtype":"phdthesis","type":"phdthesis","author":[{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Proofs in Higher-order Logic","school":"Carnegie-Mellon University","month":"August","year":"1983","url":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/th.pdf","bibtex":"@phdthesis{miller83,\n author = {Dale Miller},\n title = {Proofs in Higher-order Logic},\n school = {Carnegie-Mellon University},\n month = aug,\n year = {1983},\n url = {http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/th.pdf}\n}\n\n","author_short":["Miller, D."],"key":"miller83","id":"miller83","bibbaseid":"miller-proofsinhigherorderlogic-1983","role":"author","urls":{"Paper":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/th.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"phdthesis","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["proofs","higher","order","logic","miller"],"title":"Proofs in Higher-order Logic","year":1983}