Skip to search formSkip to main contentSkip to account menu

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Time Binds is a powerful argument that temporal and sexual dissonance are intertwined, and that the writing of history can be… 
Highly Cited
2008
Highly Cited
2008
The Fortran subroutine BVLS (bounded variable least-squares) solves linear least-squares problems with upper and lower bounds on… 
Highly Cited
2002
Highly Cited
2002
Abstract. The permutation model of set theory with atoms (FM-sets), devised by Fraenkel and Mostowski in the 1930s, supports… 
Highly Cited
1998
Highly Cited
1998
Preface. 1. Truth-conditional Semantics and the Fregean Program. 2. Executing the Fregean Program. 3. Semantics and Syntax. 4… 
Highly Cited
1997
Highly Cited
1997
β‐catenin is a central component of the cadherin cell adhesion complex and plays an essential role in the Wingless/Wnt signaling… 
Highly Cited
1996
Highly Cited
1996
Abstract We present a comprehensive methodology for realistically animating liquid phenomena. Our approach unifies existing… 
Highly Cited
1995
Highly Cited
1995
MICROPOROUS inorganic materials such as zeolites find widespread application in heterogeneous catalysis, adsorption and ion… 
Highly Cited
1985
Highly Cited
1985
From the Publisher: With an analytical and rigorous approach to problem solving and programming techniques,this book is oriented… 
Highly Cited
1979
Highly Cited
1953
Highly Cited
1953
entities from the very beginning rather than only where there is a real purpose in such reference. Hence my wish to keep general…