Algebraic Signatures Enriched by Dependency Structure
From MaRDI portal
Publication:2890335
DOI10.1007/978-3-642-28412-0_15zbMath1312.68145MaRDI QIDQ2890335
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_15
08A70: Applications of universal algebra in computer science
68Q65: Abstract data types; algebraic specification
03G30: Categorical logic, topoi
Cites Work