No CrossRef data available.
Article contents
Rewriting calculi, higher-order reductions and patterns: introduction
Published online by Cambridge University Press: 01 June 2008
Extract
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.
- 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