Models of sharing graphs : a categorical semantics of let and letrec /

Bibliographic Details

Main Author:	Hasegawa, Masahito, 1970-
Format:	Book
Language:	English
Published:	London ; New York : Springer, [1999]
Series:	CPHC/BCS distinguished dissertations.
Subjects:	Programming languages (Electronic computers) Type theory. Categories (Mathematics)