Foundations of Software Science and Computation Structures

DOI10.1007/B95995MaRDI QIDQ5308447zbMATH OpenOpenAlexFDO

Authors Pietro Di Gianantonio, Marino Miculan

Publication date 28 September 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95995

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Abstract data types; algebraic specification (68Q65) Presheaves and sheaves in general topology (54B40)

Recommendations

• scientific article; zbMATH DE number 7700630
• scientific article; zbMATH DE number 426296
• Univalent categories and the Rezk completion
• scientific article; zbMATH DE number 2003155
• Sheaf recursion and a separation theorem
• Cohomology of exact categories and (non-)additive sheaves
• Categorial generalization of algebraic recursion theory
• Derived categories of coherent sheaves and equivalences between them
• scientific article; zbMATH DE number 1789952
• Derived categories of coherent sheaves

Cited in

(5)

• Sheaf recursion and a separation theorem
• scientific article; zbMATH DE number 2003155 (Why is no real title available?)
• The optimal fixed point combinator
• Inductive and coinductive components of corecursive functions in Coq
• Constructive modalities with provability smack

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Foundations of Software Science and Computation Structures

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