… -self-static modules can be far from being finitely generated. Nevertheless many examples
of-self-static modules have a property which is familiar from finitely generated modules. Again …

… The purpose of this paper is to form an interaction between Morita contexts and static modules
and to establish various equivalences of module categories. @I IYJO Academic Pms. Inc …

… the natural equivalence between intersecting subcategories relating to static modules …
In this article, the notation and assumptions, regarding static modules and the relevant …

… The object of this paper is to express an important result of Dade [2, Theorem 7.41, on
equivalence of categories, from classical stable Clifford theory to one in pure ring theory. In fact, in […

… equivalence which we have reproved in terms of categories of M-Auslander and D-Auslander
modules … Section 2 presents a brief introduction of static modules and their respective …

… For a ring A, an extension ring B, a fixed right A-module M, the endomorphism ring D formed
by … , we present equivalences and dualities between subcategories of B-modules which are …

… static portions of modules as part of their static semantics, and alsoÐseparatelyÐgave an
algorithm for compiling modules … as simply the restriction of logical equivalence to static values. …

… a new, declarative static semantics for Modules. It is … of β-equivalence at the level of types,
we also introduce the new equational judgement C ⊣ τ = τ : κ that formalises the equivalence …

… Fourth, we define logical equivalence and prove that it coincides with contextual … However,
we do not include a syntactic form for extracting a constructor from a static atomic module. …

… modules have a direction of information propagation, which corresponds to solving MX
task for those modules. … notation, however, the equivalence of the two formalisms is well-known. …