Hostname: page-component-74656f9884-g96k6 Total loading time: 0 Render date: 2026-11-09T21:20:18.779Z Has data issue: false hasContentIssue false
  • English
  • Français

Rewriting calculi, higher-order reductions and patterns: introduction

Published online by Cambridge University Press:  01 June 2008

HORATIU CIRSTEA  and
MARIBEL FERNÁNDEZ
HORATIU CIRSTEA
Affiliation:
LORIA and Nancy-Université, 54506 Vandoeuvre-lès-Nancy Cedex, France
MARIBEL FERNÁNDEZ
Affiliation:
King's College London, Department of Computer Science, Strand, London WC2R 2LS, UK.
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

The integration of first-order and higher-order paradigms has been one of the main challenges in the design of both declarative programming languages and proof environments. It has led to the development of new computation models and new logical frameworks, which have been obtained by enriching first-order rewriting with higher-order capabilities or by adding algebraic features to the λ-calculus.

Information

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 18 , Special Issue 3: Rewriting calculi, higher-order reductions and patterns , June 2008 , pp. 427 - 429
Copyright
Copyright © Cambridge University Press 2008