BibTeX record conf/ifl/CaprettaHJ16

download as .bib file

@inproceedings{DBLP:conf/ifl/CaprettaHJ16,
  author    = {Venanzio Capretta and
               Graham Hutton and
               Mauro Jaskelioff},
  title     = {Contractive Functions on Infinite Data Structures},
  booktitle = {{IFL}},
  pages     = {5:1--5:13},
  publisher = {{ACM}},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics