Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 205,643,814 papers from all fields of science
Search
Sign In
Create Free Account
Free variables and bound variables
Known as:
Free variables
, Variable binding operator
, Apparent variable
Expand
In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation…
Expand
Wikipedia
Create Alert
Alert
Related topics
Related topics
40 relations
Abstract syntax tree
Association list
Combinatory logic
Computable function
Expand
Broader (1)
Computer programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Time Binds: Queer Temporalities, Queer Histories
E. Freeman
2010
Corpus ID: 190908772
Time Binds is a powerful argument that temporal and sexual dissonance are intertwined, and that the writing of history can be…
Expand
Highly Cited
2008
Highly Cited
2008
Bounded-Variable Least-Squares: an Algorithm and Applications
P. Stark
2008
Corpus ID: 395423
The Fortran subroutine BVLS (bounded variable least-squares) solves linear least-squares problems with upper and lower bounds on…
Expand
Highly Cited
2002
Highly Cited
2002
A New Approach to Abstract Syntax with Variable Binding
M. Gabbay
,
A. Pitts
Formal Aspects of Computing
2002
Corpus ID: 2544155
Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports…
Expand
Highly Cited
1998
Highly Cited
1998
Semantics in generative grammar
I. Heim
,
A. Kratzer
1998
Corpus ID: 57341324
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4…
Expand
Highly Cited
1997
Highly Cited
1997
β‐catenin is a target for the ubiquitin–proteasome pathway
H. Aberle
,
A. Bauer
,
J. Stappert
,
A. Kispert
,
R. Kemler
1997
Corpus ID: 9561740
β‐catenin is a central component of the cadherin cell adhesion complex and plays an essential role in the Wingless/Wnt signaling…
Expand
Highly Cited
1996
Highly Cited
1996
Realistic Animation of Liquids
N. Foster
,
Dimitris N. Metaxas
Graphics Interface
1996
Corpus ID: 129190
Abstract We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing…
Expand
Highly Cited
1995
Highly Cited
1995
Selective binding and removal of guests in a microporous metal–organic framework
O. Yaghi
,
Guangming Li
,
Hailian Li
Nature
1995
Corpus ID: 4312160
MICROPOROUS inorganic materials such as zeolites find widespread application in heterogeneous catalysis, adsorption and ion…
Expand
Highly Cited
1985
Highly Cited
1985
Structure and Interpretation of Computer Programs
H. Abelson
,
G. Sussman
1985
Corpus ID: 454563
From the Publisher: With an analytical and rigorous approach to problem solving and programming techniques,this book is oriented…
Expand
Highly Cited
1979
Highly Cited
1979
A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas
Bengt Aspvall
,
M. Plass
,
R. Tarjan
Inf. Process. Lett.
1979
Corpus ID: 14345415
Highly Cited
1953
Highly Cited
1953
From a Logical Point of View
R. M. Martin
,
W. Quine
1953
Corpus ID: 51836914
entities from the very beginning rather than only where there is a real purpose in such reference. Hence my wish to keep general…
Expand
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