The Calculus of Algebraic and Inductive Constructions. F. Blanqui. Master thesis, 35 pages, 1998.

Statcounter W3C Validator Last updated on 22 April 2023. Come back to main page.