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

Cached

Download Links

by Razvan Diaconescu
Citations:29 - 8 self