Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,761 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Church encoding
Coinduction
Coq (software)
Dependent type
Expand
Broader (2)
Lambda calculus
Type theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
The Language faculty
P. Pietroski
,
S. Crain
2012
Corpus ID: 60677314
A review essay on the human visual system can safely presuppose that there is such a system, with homologs in other species, and…
Expand
2011
2011
Continuous Shear Connectors in Bridge Construction
O. Hechler
,
J. Berthellemy
,
W. Lorenc
,
G. Seidl
,
Eva Viefhues
2011
Corpus ID: 56221485
Continuous shear connectors offer an upcoming solution for composite beams. They are characterized by a high initial stiffness…
Expand
2008
2008
An Empirical Characterisation of Response Types in German Association Norms ⋆ ⋆
IM Sabineschulte
2008
Corpus ID: 17630488
This article presents a study to distinguish and quantify th e various types of semantic associations provided by humans, to…
Expand
2007
2007
Oblique subjects and person restrictions in Spanish: A morphological approach
M. Rivero
2007
Corpus ID: 147794847
(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…
Expand
2003
2003
Coercive subtyping for the calculus of constructions
Gang Chen
ACM-SIGACT Symposium on Principles of Programming…
2003
Corpus ID: 1541019
We present a coercive subtyping system for the calculus of constructions. The proposed system λ<i>C</i><sup><i>CO</i></sup>over…
Expand
2000
2000
Economic Globalization, Crisis and the Emergence of Chinese Business Communities in Southeast Asia
H. Yeung
2000
Corpus ID: 154663089
Globalization tendencies have fundamentally transformed the nature and organization of business communities in Southeast Asia…
Expand
Highly Cited
1990
Highly Cited
1990
Two Principles of Parse Preference
Jerry R. Hobbs
,
J. Bear
International Conference on Computational…
1990
Corpus ID: 1502797
The DIALOGIC system for syntactic analysis and semantic translation has been under development for over ten years, and during…
Expand
Highly Cited
1984
Highly Cited
1984
A Sarcee Grammar
Eung-Do Cook
1984
Corpus ID: 62561746
Acknowledgments Introduction 1. Speech Variations and Diachronic Processes 2. Syntactic Categories and Basic Sentence Structure 3…
Expand
1976
1976
L'Appareil psychique groupal : constructions du groupe
R. Kaës
1976
Corpus ID: 142335302
1970
1970
The Freudenthal-Springer-Tits constructions revisited
K. Mccrimmon
1970
Corpus ID: 121540649
In [3] some constructions of exceptional Jordan algebras due to H. Freudenthal, T. A. Springer, and J. Tits were carried over to…
Expand
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)
ACCEPT & CONTINUE