This bibliography lists a collection of academic work on the subject of cyclic and non-well-founded proof theory and its applications, consisting of published papers, theses, and preprints. Item titles link to online versions, using DOIs as far as possible.
This website uses the bibtex-js library to render items directly from Bibtex files. Please feel free to access the Bibtex files directly on Github.
The intention is for this bibliography to be comprehensive and of value to researchers and practitioners, both new and established, in this growing field. Suggestions of missing items, or for corrections, are welcome: please submit an issue in the Github repository, or send an email to reuben.rowe@rhul.ac.uk.