Extra Theory Morphisms for Institutions: logical semantics for multi-paradigm languages (1996)

Cached

Download Links

by Razvan Diaconescu
Citations:26 - 7 self