submit
english version rss feed
HAL: inria-00105545, version 2

See detailed view  BibTeX,EndNote,...
Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento : Italy (1999)
Available versions
The Calculus of Algebraic Constructions
Frédéric Blanqui 1, Jean-Pierre Jouannaud 1, Mitsuhiro Okada 2
(1999)

This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generalizes inductive types equipped with higher-order primitive recursion, by providing definitions of functions by pattern-matching which capture recursor definitions for arbitrary non-dependent and non-polymorphic inductive types satisfying a strictly positivity condition. CAC also generalizes the first-order framework of abstract data types by providing dependent types and higher-order rewrite rules.
1:  Laboratoire de Recherche en Informatique (LRI)
CNRS : UMR8623 – Université Paris Sud
2:  Department of Philosophy
Keio University
Computer Science/Logic in Computer Science
rewriting – termination – lambda-calculus – dependent types – polymorphism
Attached file list to this document: 
PS
main.ps(200.8 KB)
PDF
main.pdf(240.6 KB)

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...