Viewing Implementations as an Institution

Christoph Beierle, Angi Voß. Viewing Implementations as an Institution. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 196-218, Springer, 1987.

Abstract

Abstract is missing.