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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.