Edinburgh Research Archive

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

Abstract

This item appears in the following Collection(s)