Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03449131n
Noun Concept
Categories: Type theory, Dependently typed programming, Lambda calculus, Articles with short description
EN
calculus of constructions  Calculus of Inductive Constructions
EN
In mathematical logic and computer science, the calculus of constructions is a type theory created by Thierry Coquand. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic and computer science, the calculus of constructions is a type theory created by Thierry Coquand. Wikipedia
A formal language in which both computer programs and mathematical proofs can be expressed Wikipedia Disambiguation
Formal system Wikidata
PART OF
mathematics
lambda cube
Wikipedia
EN
calculus of constructions
Wikidata
EN
calculus of constructions
Wikipedia Redirections
EN
Calculus of Constructions, Calculus of Inductive Constructions, Calculus of inductive constructions

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License