Extensional Rewriting with Sums

By S. Lindley. International Conference on Typed Lambda Calculus and Applications, 2007

340 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/ad3f936022035d03ddc64396962d0a2378c341da

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Nicolas Oury
2. Ohad Kammar
3. S. Lindley

In Computational Theory and Mathematics

1. Nicolas Oury
2. Ohad Kammar
3. S. Lindley

Citations in the corpus

• Handlers in action (2013, background): “Proof sketch: The proof is by a relatively straightforward adaptation of Lindley’s proof of strong normalisation for sums [26].”