Higher-Order Rewriting

@inproceedings{Raamsdonk1999HigherOrderR,
  title={Higher-Order Rewriting},
  author={Femke van Raamsdonk},
  booktitle={RTA},
  year={1999}
}
Note: This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c Springer Verlag. 
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 34 references

Con uence for Abstract and Higher-Order Rewriting

  • V. van Oostrom
  • PhD thesis,
  • 1994
Highly Influential
4 Excerpts

Exactly estimating functionals and strong normalization

  • R. de Vrijer
  • Proceedings of the Koninklijke Nederlandse…
  • 1987
Highly Influential
4 Excerpts

Surjective Pairing and Strong Normalization: Two Themes in Lambda Calculus

  • R. de Vrijer
  • PhD thesis,
  • 1987
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…