Foundations of Software Science and Computation Structures

DOI10.1007/b95995zbMath1126.68491MaRDI QIDQ5308447

Marino Miculan, Pietro Di Gianantonio

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

68Q65: Abstract data types; algebraic specification

18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)

54B40: Presheaves and sheaves in general topology

Uses Software

• Coq