# Fixed-point combinator

## Papers overview

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

2010

2010

- ITP
- 2010

In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbertâ€™s epsilonâ€¦Â (More)

Is this relevant?

2010

2010

- 2010

In this paper, we develop a general theory of fixed point combinators, in higher-order logic equipped with Hilbertâ€™s epsilonâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- 49th IEEE Conference on Decision and Control (CDCâ€¦
- 2010

The paper develops a novel decentralized charging control strategy for large populations of plug-in electric vehicles (PEVs). Weâ€¦Â (More)

Is this relevant?

2009

2009

- 2009

Type theories need to enforce some restrictions on recursive definitions in order to remain sound. Depending on theâ€¦Â (More)

Is this relevant?

2005

2005

- Higher-Order and Symbolic Computation
- 2005

We present a systematic construction of a variadic applicative-order multiple fixed-point combinator in Scheme. The resultingâ€¦Â (More)

Is this relevant?

2004

2004

- 2004

We show that the set of fixed-point combinators forms a recursivelyenumerable subset of a larger set of terms that is (A) notâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- LICS
- 2000

We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying theâ€¦Â (More)

Is this relevant?

1997

1997

- Inf. Comput.
- 1997

Corrado Bo hm pointed out the role of combinator SI in the theory of fixed point combinators (see [1], 6.5.3). In particular, anyâ€¦Â (More)

Is this relevant?

Highly Cited

1985

Highly Cited

1985

- FOCS
- 1985

In 1979 Aho and Ullman [3] noted that the relational calculus is unable to express the transitive closure of a given relationâ€¦Â (More)

Is this relevant?

1984

1984

- LISP and Functional Programming
- 1984

In recent years there has been a fair amount of interest both in using combinators to represent functional programs, and in usingâ€¦Â (More)

Is this relevant?