Free variables and bound variables

Known as: Free variables, Variable binding operator, Apparent variable 
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1958-2017
05019582017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2005
Highly Cited
2005
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
2002
2002
It has long been assumed in linguistics that bound variable interpretations of pronouns are possible (only) when a quantified… (More)
  • table 1
  • table 2
  • figure 1
  • table 3
  • table 4
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports notions of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
It has been argued elsewhere that a logic programming language with function variables and-abstractions within terms makes a good… (More)
Is this relevant?
1990
1990
Most conventional programming languages have direct methods for representing first-order terms (say, via concrete datatypes in ML… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
It has been argued elsewhere that a logic programming language with function variables and λ-abstractions within terms makes a… (More)
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
1989
1989
A theory satis es the k variable property if every rst order formula is equivalent to a formula with at most k bound variables… (More)
Is this relevant?
1989
1989
A theory satisses the k-variable property if every rst-order formula is equivalent to a formula with at most k bound variables… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
A theory satis es the k variable property if every rst order formula is equivalent to a formula with at most k bound variables… (More)
Is this relevant?
1978
1978
When a noun phrase or a pronoun occurs in a sentence, it is frequently appropriate to ask what entity it refers to, but it is… (More)
  • table I
Is this relevant?