Hello, you have come here looking for the meaning of the word
metatheoretic. In DICTIOUS you will not only get to know all the dictionary meanings for the word
metatheoretic, but we will also tell you about its etymology, its characteristics and you will know how to say
metatheoretic in singular and plural. Everything you need to know about the word
metatheoretic you have here. The definition of the word
metatheoretic will help you to be more precise and correct when speaking or writing your texts. Knowing the definition of
metatheoretic, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
From meta- + theoretic.
Adjective
metatheoretic (not comparable)
- Alternative form of metatheoretical
2015, Tiark Rompf, Nada Amin, “From F to DOT: Type Soundness Proofs with Definitional Interpreters”, in arXiv:Unfortunately, type soundness has only been established for a very restricted subset of DOT (muDOT), and it has been shown that adding important Scala features such as type refinement or extending subtyping to a lattice breaks at least one key metatheoretic property such as narrowing or subtyping transitivity, which are usually required for a type soundness proof. The first main contribution of this paper is to demonstrate how, perhaps surprisingly, even though these properties are lost in their full generality, a richer DOT calculus that includes both type refinement and a subtyping lattice with intersection types can still be proved sound.