Selected papers of the 4th Summer Conference onCategory Theory and Computer Science, Paris, France, September 1991
By: guest editors: S. Abramsky and P.-L. Curien.
Contributors: Abramsky, Samson, 1953-; Curien, P.-L.
Series: Theoretical computer science -- vol.115 (1)
Publisher: Elsevier
Published: 1993
Place of publication: Amsterdam
Language: eng