In mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a free variable is a notation… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2005

Highly Cited

2005

- Chris Allan, Pavel Avgustinov, +7 authors Julian Tibble
- OOPSLA
- 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)

Is this relevant?

2002

2002

- Maria Nella Carminati, Lyn Frazier, Keith Rayner
- J. Semantics
- 2002

It has long been assumed in linguistics that bound variable interpretations of pronouns are possible (only) when a quantified… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Murdoch James Gabbay, Andrew M. Pitts
- Formal Aspects of Computing
- 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

- Dale Miller
- 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

- Dale Miller
- 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

- Dale Miller
- ELP
- 1989

It has been argued elsewhere that a logic programming language with function variables and λ-abstractions within terms makes a… (More)

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

- Dexter Kozeny
- 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

- Neil Immerman, Dexter Kozen
- LICS
- 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

- Barbara H. Partee
- TINLAP
- 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)

Is this relevant?