Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,990,318 papers from all fields of science
Search
Sign In
Create Free Account
Metavariable
Known as:
Meta-variable
, Schematic variable
, Metamathematical variable
Expand
In logic, a metavariable (also metalinguistic variable or syntactical variable) is a symbol or symbol string which belongs to a metalanguage and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
10 relations
Computer language
Explicit substitution
Metasyntactic variable
Object language
Expand
Broader (1)
Syntax (logic)
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Call-by-name extensionality and confluence
Philip Johnson-Freyd
,
P. Downen
,
Z. Ariola
Journal of functional programming
2017
Corpus ID: 4245455
Abstract Designing rewriting systems that respect functional extensionality for call-by-name languages with effects turns out to…
Expand
2016
2016
A Certified Decision Procedure for Sophisticated Fractional Permissions
Le Xuan Bach
,
Aquinas Hobor
2016
Corpus ID: 15610983
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission…
Expand
2008
2008
SOCIOLINGUISTIC METHOD AND LINGUISTIC THEORY
Universitb de Montrbal
2008
Corpus ID: 50408612
What we may call ‘the sociolinguistic method’ is neither new to sociolinguistics, nor universally adhered to by sociolinguists…
Expand
2007
2007
Inferring Local (Non-)Aliasing and Strings for Memory Safety 1
Yannick Moy
,
C. March
2007
Corpus ID: 16377276
A guide beam and tracking system for steering a flying body toward a target in accordance with the beam rider principle, is…
Expand
Review
2005
Review
2005
Relating Proof Systems for Recursive Types
C. Grabmayer
2005
Corpus ID: 118507162
Proof Systems The purpose of this appendix is to formally underpin the results concerning derivability and admissibility of…
Expand
1995
1995
Metavariables : their Implementation and Use in Program Transformation
F.
1995
Corpus ID: 16433568
Refal machine. As long as we do not allow jumping between levels, the above is all we need for execution of Refal programs…
Expand
1995
1995
A Meta Constraint Logic Programming Scheme Universit a Degli Studi Di Bologna a Meta Constraint Logic Programming Scheme
E. Lamma
,
P. Mello
,
M. Milano
1995
Corpus ID: 13486731
We present a Meta Constraint Logic Programming (MCLP) general scheme. The idea behind the work concerns the possibility of…
Expand
Review
1994
Review
1994
Generating Uniform User-Interfaces for Interactive Programming Environments
J. Koorn
1994
Corpus ID: 61953965
representation of application domain 57 and the computational component o ers a set of semantic operations on these terms. Note…
Expand
1993
1993
The Semantics of Noun Phrase Anaphora
D. Elworthy
1993
Corpus ID: 115691776
1971
1971
A class of decidable intermediate propositional logics
C. G. McKay
Journal of Symbolic Logic (JSL)
1971
Corpus ID: 9650011
For the terminology and motivation of this note, my earlier paper [3] should be consulted. Here I make a slight change by…
Expand