Skip to search formSkip to main contentSkip to account menu

Calculus of constructions

Known as: CIC, COC, Calculus of inductive constructions 
The Calculus of Constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
A review essay on the human visual system can safely presuppose that there is such a system, with homologs in other species, and… 
2011
2011
Continuous shear connectors offer an upcoming solution for composite beams. They are characterized by a high initial stiffness… 
2008
2008
This article presents a study to distinguish and quantify th e various types of semantic associations provided by humans, to… 
2007
2007
(1) a. A Ana le apetecen ellos. Ann.Dat 3Sg.Dat yearn.3Pl they.Nom ‘Ann yearns for them. They appeal to Ann.’ b. A Ana le… 
2003
2003
We present a coercive subtyping system for the calculus of constructions. The proposed system λ<i>C</i><sup><i>CO</i></sup>over… 
2000
2000
Globalization tendencies have fundamentally transformed the nature and organization of business communities in Southeast Asia… 
Highly Cited
1990
Highly Cited
1990
The DIALOGIC system for syntactic analysis and semantic translation has been under development for over ten years, and during… 
Highly Cited
1984
Highly Cited
1984
Acknowledgments Introduction 1. Speech Variations and Diachronic Processes 2. Syntactic Categories and Basic Sentence Structure 3… 
1970
1970
In [3] some constructions of exceptional Jordan algebras due to H. Freudenthal, T. A. Springer, and J. Tits were carried over to…