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…