… We propose a novel style for formalizing metatheory, combining locally nameless
representation of terms and cofinite quantification of free variable names in inductivedefinitions of …

… In our meta - theory there will be a set of operations O defined formally on the class of graphs
Gx which effectively model the relevant operations in the real world system . We shall also …

… In a similar spirit, we will examine here an approach to metatheory that is not based on …
that provide such an alternative approach to mechanized metatheory. The goal of this paper is …

… I should warn that readers who think of metaethics as the meta-theory of morality-the-social-…
as the meta-theory of normativity, and not just of morality (I return to this issue in Section 6). …

… metatheoretical approach is especially useful here: it allows us to adapt ideas from formal …
going on between the formal methods community and the control engineering community—a …

… This thesis presents a practical methodology for formalizing the meta-theory of formal systems
with binders and coinductive relations in constructive type theory. While constructive type …

… model-checking for metatheoretic properties of formal systems specified using nominal
logic. In contrast to the current state of the art for metatheory verification, our approach is fully …

… A key issue in mechanical developments of formal metatheory for programming languages
concerns the representation and manipulation of terms with variable binding. There are two …

… After developing the entirely signature-generic metatheory, in Section 4 we present the
translation of second-order syntax descriptions to signature endofunctors and give two …

… if engineers are … if engineers have unique motivating factors when compared to their peer
knowledge workers. A comprehensive evaluation of motivation factors, utilizing the meta-theory …