{"_id":"EfwmyHYKqFtT9WvMe","bibbaseid":"blanchette-meier-popescu-traytel-foundationalnonuniformcodatatypesforhigherorderlogic-2017","author_short":["Blanchette, J. C.","Meier, F.","Popescu, A.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jasmin","Christian"],"propositions":[],"lastnames":["Blanchette"],"suffixes":[]},{"firstnames":["Fabian"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Andrei"],"propositions":[],"lastnames":["Popescu"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"Foundational nonuniform (Co)datatypes for higher-order logic","booktitle":"32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017","pages":"1–12","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/LICS.2017.8005071","doi":"10.1109/LICS.2017.8005071","timestamp":"Sat, 19 Oct 2019 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/lics/BlanchetteM0T17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lics/BlanchetteM0T17,\n author = {Jasmin Christian Blanchette and\n Fabian Meier and\n Andrei Popescu and\n Dmitriy Traytel},\n title = {Foundational nonuniform (Co)datatypes for higher-order logic},\n booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}\n 2017, Reykjavik, Iceland, June 20-23, 2017},\n pages = {1--12},\n publisher = {{IEEE} Computer Society},\n year = {2017},\n url = {https://doi.org/10.1109/LICS.2017.8005071},\n doi = {10.1109/LICS.2017.8005071},\n timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/lics/BlanchetteM0T17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blanchette, J. C.","Meier, F.","Popescu, A.","Traytel, D."],"key":"DBLP:conf/lics/BlanchetteM0T17","id":"DBLP:conf/lics/BlanchetteM0T17","bibbaseid":"blanchette-meier-popescu-traytel-foundationalnonuniformcodatatypesforhigherorderlogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/LICS.2017.8005071"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["foundational","nonuniform","datatypes","higher","order","logic","blanchette","meier","popescu","traytel"],"title":"Foundational nonuniform (Co)datatypes for higher-order logic","year":2017}