Sheaf tools for computation
DOI10.1016/J.AMC.2005.12.069zbMATH Open1130.18007OpenAlexW2075993739MaRDI QIDQ870127FDOQ870127
Publication date: 12 March 2007
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.amc.2005.12.069
authenticationcategory theorypresheavesnon-interferencesheavessitesievestopos theorywell structured site
Definitions and generalizations in theory of categories (18A05) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Foundations, relations to logic and deductive systems (18A15)
Cites Work
Cited In (1)
Recommendations
This page was built for publication: Sheaf tools for computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q870127)