Models of sharing graphs : a categorical semantics of let and letrec /
Hasegawa, Masahito,1970-
New York ; London : Springer,
1999.
Originally published as the author's thesis, Ph.D, University of Edinburgh.
Programming languages (Electronic computers)
Type theory.
Categories (Mathematics)