scientific article; zbMATH DE number 1418815

zbMath0941.18501MaRDI QIDQ4942097

Claudio Hermida

Publication date: 30 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Fibered categories (18D30)

Related Items (7)

Monoidal Grothendieck construction ⋮ Doctrines, modalities and comonads ⋮ Elementary fibrations of enriched groupoids ⋮ Preservation and reflection of bisimilarity via invertible steps ⋮ Unnamed Item ⋮ Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories ⋮ Semantic constructions for the specification of objects

This page was built for publication: