@inproceedings{manighetti21types,
  author = {Matteo Manighetti and Dale Miller and Alberto
                 Momigliano},
  title = {{Two Applications of Logic Programming to Coq}},
  booktitle = {26th International Conference on Types for Proofs and
                 Programs (TYPES 2020)},
  pages = {10:1--10:19},
  series = {Leibniz International Proceedings in Informatics
                 (LIPIcs)},
  isbn = {978-3-9597718-2-5},
  issn = {1868-8969},
  year = {2021},
  volume = {188},
  editor = {Ugo de'Liguoro and Stefano Berardi and Thorsten
                 Altenkirch},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r
                 Informatik},
  address = {Dagstuhl, Germany},
  url = {https://drops.dagstuhl.de/opus/volltexte/2021/13889},
  doi = {10.4230/LIPIcs.TYPES.2020.10}
}

{"_id":"Rbsmn55ufvo2nYFFQ","bibbaseid":"manighetti-miller-momigliano-twoapplicationsoflogicprogrammingtocoq-2021","author_short":["Manighetti, M.","Miller, D.","Momigliano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Matteo"],"propositions":[],"lastnames":["Manighetti"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]},{"firstnames":["Alberto"],"propositions":[],"lastnames":["Momigliano"],"suffixes":[]}],"title":"Two Applications of Logic Programming to Coq","booktitle":"26th International Conference on Types for Proofs and Programs (TYPES 2020)","pages":"10:1–10:19","series":"Leibniz International Proceedings in Informatics (LIPIcs)","isbn":"978-3-9597718-2-5","issn":"1868-8969","year":"2021","volume":"188","editor":[{"firstnames":["Ugo"],"propositions":["de'Liguoro"],"lastnames":[],"suffixes":[]},{"firstnames":["Stefano"],"propositions":[],"lastnames":["Berardi"],"suffixes":[]},{"firstnames":["Thorsten"],"propositions":[],"lastnames":["Altenkirch"],"suffixes":[]}],"publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","address":"Dagstuhl, Germany","url":"https://drops.dagstuhl.de/opus/volltexte/2021/13889","doi":"10.4230/LIPIcs.TYPES.2020.10","bibtex":"@inproceedings{manighetti21types,\n author = {Matteo Manighetti and Dale Miller and Alberto\n Momigliano},\n title = {{Two Applications of Logic Programming to Coq}},\n booktitle = {26th International Conference on Types for Proofs and\n Programs (TYPES 2020)},\n pages = {10:1--10:19},\n series = {Leibniz International Proceedings in Informatics\n (LIPIcs)},\n isbn = {978-3-9597718-2-5},\n issn = {1868-8969},\n year = {2021},\n volume = {188},\n editor = {Ugo de'Liguoro and Stefano Berardi and Thorsten\n Altenkirch},\n publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\\\"u}r\n Informatik},\n address = {Dagstuhl, Germany},\n url = {https://drops.dagstuhl.de/opus/volltexte/2021/13889},\n doi = {10.4230/LIPIcs.TYPES.2020.10}\n}\n\n","author_short":["Manighetti, M.","Miller, D.","Momigliano, A."],"editor_short":["de'Liguoro , U.","Berardi, S.","Altenkirch, T."],"key":"manighetti21types","id":"manighetti21types","bibbaseid":"manighetti-miller-momigliano-twoapplicationsoflogicprogrammingtocoq-2021","role":"author","urls":{"Paper":"https://drops.dagstuhl.de/opus/volltexte/2021/13889"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["two","applications","logic","programming","coq","manighetti","miller","momigliano"],"title":"Two Applications of Logic Programming to Coq","year":2021}