Recent Trends in Algebraic Development Techniques

DOI10.1007/B94458zbMath1278.68207OpenAlexW2599151985MaRDI QIDQ5900830

Michał Walicki, Yngve Lamo

Publication date: 20 April 2010

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

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (1)

Preservation in many-valued truth institutions

This page was built for publication: Recent Trends in Algebraic Development Techniques