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)

Related topics

Related topics

20 relations
Church encodingCoinductionCoq (software)Dependent type

Broader (2)

Lambda calculusType theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
The Language faculty
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 in Bridge Construction
Continuous shear connectors offer an upcoming solution for composite beams. They are characterized by a high initial stiffness… 
2008
2008
An Empirical Characterisation of Response Types in German Association Norms ⋆ ⋆
This article presents a study to distinguish and quantify th e various types of semantic associations provided by humans, to… 
2007
2007
Oblique subjects and person restrictions in Spanish: A morphological approach
(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
Coercive subtyping for the calculus of constructions
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
Economic Globalization, Crisis and the Emergence of Chinese Business Communities in Southeast Asia
Globalization tendencies have fundamentally transformed the nature and organization of business communities in Southeast Asia… 
Highly Cited
1990
Highly Cited
1990
Two Principles of Parse Preference
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
A Sarcee Grammar
Acknowledgments Introduction 1. Speech Variations and Diachronic Processes 2. Syntactic Categories and Basic Sentence Structure 3… 
1976
1976
L'Appareil psychique groupal : constructions du groupe
1970
1970
The Freudenthal-Springer-Tits constructions revisited
In [3] some constructions of exceptional Jordan algebras due to H. Freudenthal, T. A. Springer, and J. Tits were carried over to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)