Metatheory
Top View
- Philosophy (PHIL) 1
- PHIL - Philosophy 1
- The Potential and the Pitfalls of Metatheory in IR
- The Central Question in Comparative Syntactic Metatheory 493 1 Into the Symbolic Hair Shirt of Some Hard-To-Read Proprietary Notation
- Formalizing the Metatheory of Logical Calculi and Automatic Provers in Isabelle/HOL (Invited Talk) Jasmin Christian Blanchette
- Engineering Formal Metatheory
- Toward a Science of Metatheory
- An Introduction to Metatheories, Theories, and Models