researchr - search publication metatheory

researchr

You are not signed in
Sign in
Sign up

90 publication results matching 'metatheory'

The Metatheory of UTTHealfdene Goguen. TYPES 1995: 60-82
A Metatheory of a Mechanized Object Theory
… In this paper we propose a metatheory, MT, which represents the computation which implements its object theory, OT, and, in particular, the computation which implements deduction in OT. To emphasize this fact we say that MT is a metatheory …
Fausto Giunchiglia, Paolo Traverso. ai, 80(1-2):197-241, 1996. [doi]
It Is Time to Mechanize Programming Language Metatheory
… towards achieving these goals is mechanized reasoning about language metatheory … the boundaries of existing technology to the point where we can achieve mechanized metatheory …
Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic. vstte 2008: 26-30 [doi]
Metatheory of Q0Javier Díaz. afp, 2023, 2023. [doi]
Mechanized Metatheory for the Masses: The PoplMark Challenge
… on the metatheory of System F<:, a typed lambda-calculus with second-order polymorphism …
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic. tphol 2005: 50-65 [doi]
Engineering formal metatheory
… for formalizing metatheory, combining locally nameless representation of terms …
Brian E. Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, Stephanie Weirich. POPL 2008: 3-15 [doi]
Computational Metatheory in NuprlDouglas J. Howe. cade 1988: 238-257
An Example of FOL Using MetatheoryRichard W. Weyhrauch. cade 1982: 151-158
Mechanizing metatheory in a logical frameworkRobert Harper, Daniel R. Licata. JFP, 17(4-5):613-673, 2007. [doi]
Toward a Metatheory of ActionVladimir Lifschitz. kr 1991: 376-386
Mechanizing the Metatheory of LFChristian Urban, James Cheney, Stefan Berghofer. lics 2008: 45-56 [doi]
Mechanizing the metatheory of LFChristian Urban, James Cheney, Stefan Berghofer. tocl, 12(2):15, 2011. [doi]
Structuring Metatheory on Inductive DefinitionsDavid A. Basin, Seán Matthews. cade 1996: 171-185
Structuring Metatheory on Inductive DefinitionsDavid A. Basin, Seán Matthews. iandc, 162(1-2):80-95, 2000.
Metatheory of actions: Beyond consistencyAndreas Herzig, Ivan José Varzinczak. ai, 171(16-17):951-984, 2007. [doi]
Mechanized metatheory model-checkingJames Cheney, Alberto Momigliano. ppdp 2007: 75-86 [doi]
On a Possible Physical Metatheory of ConsciousnessMiroljub Dugic, Milan M. Cirkovic, Dejan Rakovic. osid, 9(2):153-166, 2002. [doi]
A metatheory for the development of a science of informationJohn T. Dow. jasis, 28(6):323-332, 1977. [doi]
Using a metatheory as a functional representationD. Paul Benjamin. ijis, 3(3):295-314, 1988. [doi]
Metatheory and information scienceBrian Vickery. jd, 53(5):457-476, 1997. [doi]

Sign in or sign up to see more results.

runs on WebDSL