Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations.

Frdric Blanqui

Browse the full CSL paper archive.