Separating Functional Computation from Relations. Gérard, U. & Miller, D. In Goranko, V. & Dam, M., editors, 26th EACSL Annual Conference on Computer Science Logic (CSL 2017), volume 82, of LIPIcs, pages 23:1–23:17, 2017.
doi  bibtex   
@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}
}

Downloads: 0