4 ms·.. and it is based on a type theory known as the Calculus of Constructions (CoC).by theaeolist 9y ago.. and it is based on a type theory known as the Calculus of Constructions (CoC).