The calculus of algebraic constructions

Frédéric Blanqui, Jean Pierre Jouannaud, Mitsuhiro Okada

研究成果: Conference contribution

32 引用 (Scopus)

抜粋

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. Full proofs are available at http://www.lri.fr/~blanqui/publis/rta99full.ps.gz.

元の言語English
ホスト出版物のタイトルRewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings
編集者Paliath Narendran, Michael Rusinowitch
出版者Springer Verlag
ページ301-316
ページ数16
ISBN(印刷物)3540662014, 9783540662013
DOI
出版物ステータスPublished - 1999
イベント10th International Conference on Rewriting Techniques and Applications, RTA 1999 - Trento, Italy
継続期間: 1999 7 21999 7 4

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1631
ISSN(印刷物)0302-9743
ISSN(電子版)1611-3349

Other

Other10th International Conference on Rewriting Techniques and Applications, RTA 1999
Italy
Trento
期間99/7/299/7/4

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

フィンガープリント The calculus of algebraic constructions' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用

    Blanqui, F., Jouannaud, J. P., & Okada, M. (1999). The calculus of algebraic constructions. : P. Narendran, & M. Rusinowitch (版), Rewriting Techniques and Applications - 10th International Conference, RTA 1999, Proceedings (pp. 301-316). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 巻数 1631). Springer Verlag. https://doi.org/10.1007/3-540-48685-2_25