@inproceedings{gerard17csl,
  author = {Ulysse G\'erard and Dale Miller},
  title = {Separating Functional Computation from Relations},
  booktitle = {26th EACSL Annual Conference on Computer Science Logic
                 (CSL 2017)},
  year = {2017},
  editor = {Valentin Goranko and Mads Dam},
  volume = {82},
  series = {LIPIcs},
  pages = {23:1--23:17},
  doi = {10.4230/LIPIcs.CSL.2017.23}
}

{"_id":"kMLbCyDM3M2DpA4Aj","bibbaseid":"grard-miller-separatingfunctionalcomputationfromrelations-2017","author_short":["Gérard, U.","Miller, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ulysse"],"propositions":[],"lastnames":["Gérard"],"suffixes":[]},{"firstnames":["Dale"],"propositions":[],"lastnames":["Miller"],"suffixes":[]}],"title":"Separating Functional Computation from Relations","booktitle":"26th EACSL Annual Conference on Computer Science Logic (CSL 2017)","year":"2017","editor":[{"firstnames":["Valentin"],"propositions":[],"lastnames":["Goranko"],"suffixes":[]},{"firstnames":["Mads"],"propositions":[],"lastnames":["Dam"],"suffixes":[]}],"volume":"82","series":"LIPIcs","pages":"23:1–23:17","doi":"10.4230/LIPIcs.CSL.2017.23","bibtex":"@inproceedings{gerard17csl,\n author = {Ulysse G\\'erard and Dale Miller},\n title = {Separating Functional Computation from Relations},\n booktitle = {26th EACSL Annual Conference on Computer Science Logic\n (CSL 2017)},\n year = {2017},\n editor = {Valentin Goranko and Mads Dam},\n volume = {82},\n series = {LIPIcs},\n pages = {23:1--23:17},\n doi = {10.4230/LIPIcs.CSL.2017.23}\n}\n\n","author_short":["Gérard, U.","Miller, D."],"editor_short":["Goranko, V.","Dam, M."],"key":"gerard17csl","id":"gerard17csl","bibbaseid":"grard-miller-separatingfunctionalcomputationfromrelations-2017","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.lix.polytechnique.fr/Labo/Dale.Miller/miller.bib","dataSources":["7ofoNR5w3CNhd7cG5"],"keywords":[],"search_terms":["separating","functional","computation","relations","gérard","miller"],"title":"Separating Functional Computation from Relations","year":2017}