65 citations · 67 across the 5 of their papers we have counts for
3 papers · 1 filter
On Quasi Ordinal Diagram Systems
Mitsuhiro Okada, Yuta Takahashi
The purposes of this note are the following two; we first generalize Okada-Takeuti's well quasi ordinal diagram theory, utilizing the recent result of Dershowitz-Tzameret's version…
Inductive-data-type Systems
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
In a previous work ("Abstract Data Type Systems", TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system an…
The Calculus of Algebraic Constructions
Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada
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 generalize…