Models of Sharing Graphs: A Categorical Semantics of let and letrec (1997)

by Masahito Hasegawa
Citations:60 - 9 self