Models of Sharing Graphs: A Categorical Semantics oflet andletrec. Distinguished Dissertation Series (1999)

by M Hasegawa