James Brotherston

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions (available as arXiv preprint)	N/A	Paper
Monoidal model structures on filtered chain complexes relating to spectral sequences (available as arXiv preprint)	N/A	Paper
A distributive lattice of model structures relating to spectral sequences (available as arXiv preprint)	N/A	Paper
Cyclic proofs in Hoare logic and its reverse	2026-08-11	Paper
The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions Journal of Logic and Computation	2025-10-15	Paper
A distributive lattice of model structures relating to spectral sequences Homology, Homotopy and Applications	2025-08-28	Paper
Searching for invariants using temporal resolution Lecture Notes in Computer Science	2003-09-15	Paper
A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. Information and Computation	2003-08-19	Paper
A formalised first-order confluence proof for the -calculus using one-sorted variable names (Barendregt was right after all . . . almost) Lecture Notes in Computer Science	2002-03-21	Paper

Research outcomes over time

This page was built for person: James Brotherston