Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Calculus_of_constructions> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Calculus_of_constructions abstract "The Calculus of Constructions (CoC) is a significant type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its derivatives have been the basis for Coq and other proof assistants.Its derivatives include: Calculus of Inductive Constructions ("CiC") - added inductive types Calculus of (Co)Inductive Constructions (also "CiC"?) - added Coinduction predicative Calculus of Inductive Constructions ("pCiC") - removed some impredicativity".
- Calculus_of_constructions wikiPageExternalLink summary?doi=10.1.1.88.9497.
- Calculus_of_constructions wikiPageExternalLink Coq.Logic.ClassicalFacts.html.
- Calculus_of_constructions wikiPageExternalLink en.
- Calculus_of_constructions wikiPageExternalLink SFV-CIC-2up.pdf.
- Calculus_of_constructions wikiPageID "613557".
- Calculus_of_constructions wikiPageRevisionID "578385286".
- Calculus_of_constructions hasPhotoCollection Calculus_of_constructions.
- Calculus_of_constructions subject Category:Dependently_typed_programming.
- Calculus_of_constructions subject Category:Lambda_calculus.
- Calculus_of_constructions subject Category:Type_theory.
- Calculus_of_constructions comment "The Calculus of Constructions (CoC) is a significant type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics.".
- Calculus_of_constructions label "Calcul des constructions".
- Calculus_of_constructions label "Calculus of constructions".
- Calculus_of_constructions label "Cálculo de Construcciones".
- Calculus_of_constructions label "构造演算".
- Calculus_of_constructions sameAs Cálculo_de_Construcciones.
- Calculus_of_constructions sameAs Calcul_des_constructions.
- Calculus_of_constructions sameAs m.02wmgl.
- Calculus_of_constructions sameAs Q858320.
- Calculus_of_constructions sameAs Q858320.
- Calculus_of_constructions wasDerivedFrom Calculus_of_constructions?oldid=578385286.
- Calculus_of_constructions isPrimaryTopicOf Calculus_of_constructions.