Title: Models of sharing graphs
First published: 1999
Subjects: Type theory, Categories (Mathematics), Programming languages (Electronic computers)
LC classification: QA76.7 .H38 1999