Paper Info
Title
Rewriting calculi, higher-order reductions and patterns: Introduction
Abstract
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.
Year
DOI
Venue
2008
10.1017/S0960129508006737
Mathematical Structures in Computer Science
Keywords
Field
DocType
higher-order paradigm,algebraic feature,new logical framework,new computation model,declarative programming language,higher-order capability,proof environment,main challenge,higher-order reduction,higher order
Algebraic number,Programming language,Computer science,Theoretical computer science,Rewriting,Confluence,Declarative programming,Computation
Journal
Volume
Issue
ISSN
18
3
0960-1295
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Horatiu Cirstea116415.93
Maribel Fernández231523.44