Category theory and programming language semantics
Subtitle: an overview
By: Peter Dybjer
Contributors: Chalmers tekniska högskola; Göteborgs universitet
Series: Report. Programming Methodology Group / University of Göteborg and Chalmers University of Technology -- 29
Publisher: Programming Methodology Group
Published: 1986
Place of publication: Göteborg, Sweden
Language: eng
Number of pages: 18
Subjects: Programming languages (Electronic computers); Semantics; Categories (Mathematics)
Notes: Thesis (doctoral)--Göteborg University, 1986.

Bibliography: p. 8-11.