Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

40 relations
Abstract syntax treeAssociation listCombinatory logicComputable function
Expand

Broader (1)

Computer programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
Quantile-adaptive model-free variable screening for high-dimensional heterogeneous data
We introduce a quantile-adaptive framework for nonlinear variable screening with high-dimensional heterogeneous data. This… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Time Binds: Queer Temporalities, Queer Histories
Time Binds is a powerful argument that temporal and sexual dissonance are intertwined, and that the writing of history can be… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Bounded-Variable Least-Squares: an Algorithm and Applications
The Fortran subroutine BVLS (bounded variable least-squares) solves linear least-squares problems with upper and lower bounds on… Expand
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Adding trace matching with free variables to AspectJ
An aspect observes the execution of a base program; when certain actions occur, the aspect runs some extra code of its own. In… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2002
Highly Cited
2002
A New Approach to Abstract Syntax with Variable Binding
Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Rethinking the Computer Music Language: SuperCollider
ion Description and Purpose Variable names Provide human readable names to data addresses Function names Provide human readable… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
β‐catenin is a target for the ubiquitin–proteasome pathway
beta-catenin is a central component of the cadherin cell adhesion complex and plays an essential role in the Wingless/Wnt… Expand
  • figure 2
  • figure 4
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
Highly Cited
1994
Highly Cited
1994
An Algorithm for Pronominal Anaphora Resolution
This paper presents an algorithm for identifying the noun phrase antecedents of third person pronouns and lexical anaphors… Expand
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Does Electoral Accountability Affect Economic Policy Choices? Evidence from Gubernatorial Term Limits
This paper analyzes the behavior of U. S. governors from 1950 to 1986 to investigate a reputation-building model of political… Expand
  • table I
  • table III
  • table IV
  • table V
  • table VI
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
by containing implementations of higher-order unification. In this paper, we present a logic programming language, called L… Expand
  • figure 1
  • figure 2
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE