Definitions from Wikipedia (Calculus of constructions)

▸ noun:  In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand.


▸ Words similar to Calculus of constructions
▸ Usage examples for Calculus of constructions

▸ Idioms related to Calculus of constructions
▸ Wikipedia articles (New!)
▸ Words that often appear near Calculus of constructions
▸ Rhymes of Calculus of constructions

▸ Invented words related to Calculus of constructions