Some fundamental algebraic tools for the semantics of computation.
By: by A. Tarlecki, R.M. Burstall and J.A. Goguen.
Contributors: Burstall, R. M. 1934-; Goguen, Joseph.; Tarlecki, Andrzej.; University of Edinburgh. Laboratory for Foundations of Computer Science.
Series: LFCS report series -- ECS-LFCS-88-60
Publisher: University of Edinburgh Laboratory for Foundations of Computer Science
Published: 1988
Place of publication: Edinburgh
Language: eng
Number of pages: 31