Sheaves as oracle computations

MaRDI QIDQ7219625arXivFDO

Authors Danel Ahman, Andrej Bauer

Publication date 2026

Published in arXiv

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract and axiomatic computability and recursion theory (03D75)

arXiv classification

math.LO

This page was built for publication: Sheaves as oracle computations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7219625)