# Normalization property (abstract rewriting)

## Papers overview

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

Highly Cited

2015

Highly Cited

2015

- ICML
- 2015

The choice of approximate posterior distribution is one of the core problems in variational inference. Most applications ofâ€¦Â (More)

Is this relevant?

2010

2010

- Theor. Comput. Sci.
- 2010

The paper contains the first complete proof of strong normali zation (SN) for full second order linear logic (LL): Girardâ€™sâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Robotics: Science and Systems
- 2006

This paper investigates the use ofstatistical linearization to improve iterative non-linear least squares estimators. Inâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Inf. Comput.
- 2002

Context-sensitive rewriting is a simple rewriting restriction which is formalized by imposing fixed restrictions on replacementsâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- IEEE Trans. Speech and Audio Processing
- 1999

Part I of this paper describes a new approach to the objective estimation of perceived sp ech qua lity. This new approach uses aâ€¦Â (More)

Is this relevant?

Highly Cited

1998

Highly Cited

1998

- ICALP
- 1998

We introduce an extension of the Calculus of Construction with indu ctive and co-inductive types that preserves strongâ€¦Â (More)

Is this relevant?

1995

1995

- HOA
- 1995

We consider an intersection type assignment system for term rewriting systems extended with application, and define a notion ofâ€¦Â (More)

Is this relevant?

1994

1994

- 1994

We present a translation of Parigotâ€™s Î»Î¼-calculus [10] into the usual Î»-calculus. This translation, which is based on the soâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- TLCA
- 1993

In the pure Calculus of Constructions, it is possible to represent data structures and predicates using higher-orderâ€¦Â (More)

Is this relevant?

Highly Cited

1989

Highly Cited

1989

- LICS
- 1989

We present a higher-order calculus ECC which can be seen as an extension of the calculus of constructions [CH88] by adding strongâ€¦Â (More)

Is this relevant?