scientific article; zbMATH DE number 2079676

zbMath1043.68073MaRDI QIDQ4471723

Wiesław Pawłowski

Publication date: 30 July 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2267/22670256.htm

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items (1)

From static to dynamic abstract data-types: An institution transformation

This page was built for publication: