Quasi-varieties and initial semantics for hybridized institutions

Razvan Diaconescu. Quasi-varieties and initial semantics for hybridized institutions. Journal of Logic and Computation, 26(3):855-891, 2016. [doi]

Abstract

Abstract is missing.