A categorical programming language
By: Tatsuya Hagino
Contributors: University of Edinburgh
Published: 1987
Language: eng
Subjects: Programming languages (Electronic computers); Categories (Mathematics
Notes: BLDSC reference no.: D80470.

Thesis (doctoral)--University of Edinburgh, 1987.