Uniform Elgot Iteration in Foundations (bibtex)
by Sergey Goncharov
Reference:
Sergey Goncharov: Uniform Elgot Iteration in Foundations, In Nikhil Bansal, Emanuela Merelli, James Worrell, eds.: 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), LIPIcs, vol. 198, pp. 131:1–131:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.
Bibtex Entry:
@InProceedings{   Goncharov21,
  author =      {Goncharov, Sergey},
  title =       {{Uniform Elgot Iteration in Foundations}},
  booktitle =   {48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)},
  pages =       {131:1--131:16},
  series        = {LIPIcs},
  year =        {2021},
  volume =      {198},
  editor =      {Bansal, Nikhil and Merelli, Emanuela and Worrell, James},
  publisher =   {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  noaddress =   {Dagstuhl, Germany}
}
Powered by bibtexbrowser