Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5308447
DOI10.1007/b95995zbMath1126.68491OpenAlexW3105029025MaRDI QIDQ5308447
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
Abstract data types; algebraic specification (68Q65) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Presheaves and sheaves in general topology (54B40)
Related Items
SHEAF RECURSION AND A SEPARATION THEOREM ⋮ Constructive Modalities with Provability Smack ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq
Uses Software
This page was built for publication: Foundations of Software Science and Computation Structures