A Hierarchy of Institutions Separated By Properties of Parameterized Data Types (1995)

Cached

Download Links

by Till Mossakowski
Citations:4 - 1 self