# Recursive definition

## Papers overview

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

2008

2008

- 23rd Annual IEEE Symposium on Logic in Computer…
- 2008

Many semantical aspects of programming languages, such as their operational semantics and their type assignment calculi, are… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Mathematical Structures in Computer Science
- 2004

This paper introduces λ̂ , a simply typed lambda calculus supporting inductive types and recursive function definitions with… (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Texts in Theoretical Computer Science An EATCS…
- 2004

ion makes it possible to build non-recursive functions directly inside Calculus of Constructions terms, without giving a name to… (More)

Is this relevant?

2002

2002

- TYPES
- 2002

In type theory based logical frameworks, recursive and corecursive definitions are subject to syntactic restrictions that ensure… (More)

Is this relevant?

2001

2001

- Annals OR
- 2001

Many optimization problems can be expressed naturally in a recursive manner. Problems with a dynamic structure are commonly… (More)

Is this relevant?

2000

2000

- PPDP
- 2000

Functional languages allow the de nition of a function by means of recursive equations. This paper describes a general framework… (More)

Is this relevant?

1996

1996

- 1996

In this paper we are concerned with the problem of inducing recursive Horn clauses from small sets of training examples. The… (More)

Is this relevant?

1990

1990

- 1990

The articles [6], [5], [8], [7], [1], [9], [3], [2], and [4] provide the notation and terminology for this paper. We use the… (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- 1987

We devise new numerical algorithms, called PSC algorithms, for following fronts propagating with curvature-dependent speed. The… (More)

Is this relevant?

1972

1972

- 1972

The object of this paper is to present a syntactic and semantic model for recursive definitions, and to study the relation… (More)

Is this relevant?