bn:03449131n
Noun Concept
NL
calculus van constructies
EN
In mathematical logic and computer science, the calculus of constructions is a type theory created by Thierry Coquand. Wikipedia
Relations
Sources
Wikipedia Translations