Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Calculus_of_constructions> ?p ?o }
Showing triples 1 to 60 of
60
with 100 triples per page.
- Calculus_of_constructions abstract "The Calculus of Constructions (CoC) is a 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 variants have been the basis for Coq and other proof assistants.Some of its variants include the calculus of inductive constructions (which adds inductive types),the calculus of (co)inductive constructions (which adds coinduction), and the predicative calculus of inductive constructions (which removes some impredicativity).".
- Calculus_of_constructions wikiPageExternalLink en.
- Calculus_of_constructions wikiPageExternalLink SFV-CIC-2up.pdf.
- Calculus_of_constructions wikiPageExternalLink induction.pdf.
- Calculus_of_constructions wikiPageExternalLink Coq.Logic.ClassicalFacts.html.
- Calculus_of_constructions wikiPageID "613557".
- Calculus_of_constructions wikiPageLength "7839".
- Calculus_of_constructions wikiPageOutDegree "35".
- Calculus_of_constructions wikiPageRevisionID "707569505".
- Calculus_of_constructions wikiPageWikiLink Category:Dependently_typed_programming.
- Calculus_of_constructions wikiPageWikiLink Category:Lambda_calculus.
- Calculus_of_constructions wikiPageWikiLink Category:Type_theory.
- Calculus_of_constructions wikiPageWikiLink Church_encoding.
- Calculus_of_constructions wikiPageWikiLink Coinduction.
- Calculus_of_constructions wikiPageWikiLink Constructivism_(mathematics).
- Calculus_of_constructions wikiPageWikiLink Coq.
- Calculus_of_constructions wikiPageWikiLink Curry–Howard_correspondence.
- Calculus_of_constructions wikiPageWikiLink Foundations_of_mathematics.
- Calculus_of_constructions wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Calculus_of_constructions wikiPageWikiLink Henk_Barendregt.
- Calculus_of_constructions wikiPageWikiLink Homotopy_type_theory.
- Calculus_of_constructions wikiPageWikiLink Impredicativity.
- Calculus_of_constructions wikiPageWikiLink Intuitionistic_logic.
- Calculus_of_constructions wikiPageWikiLink Intuitionistic_type_theory.
- Calculus_of_constructions wikiPageWikiLink Jean-Yves_Girard.
- Calculus_of_constructions wikiPageWikiLink Lambda_calculus.
- Calculus_of_constructions wikiPageWikiLink Lambda_cube.
- Calculus_of_constructions wikiPageWikiLink Matita.
- Calculus_of_constructions wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Calculus_of_constructions wikiPageWikiLink Proof_assistant.
- Calculus_of_constructions wikiPageWikiLink System_F.
- Calculus_of_constructions wikiPageWikiLink Thierry_Coquand.
- Calculus_of_constructions wikiPageWikiLink Type_theory.
- Calculus_of_constructions wikiPageWikiLink Typed_lambda_calculus.
- Calculus_of_constructions wikiPageWikiLinkText "Calculus of constructions".
- Calculus_of_constructions wikiPageWikiLinkText "calculus of constructions".
- Calculus_of_constructions wikiPageUsesTemplate Template:Cite_book.
- Calculus_of_constructions wikiPageUsesTemplate Template:Cite_journal.
- Calculus_of_constructions wikiPageUsesTemplate Template:Cite_paper.
- Calculus_of_constructions wikiPageUsesTemplate Template:Cite_web.
- Calculus_of_constructions wikiPageUsesTemplate Template:Citeseerx.
- Calculus_of_constructions wikiPageUsesTemplate Template:Expert-subject.
- 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 hypernym Theory.
- Calculus_of_constructions type Model.
- Calculus_of_constructions type Work.
- Calculus_of_constructions type Model.
- Calculus_of_constructions type Redirect.
- Calculus_of_constructions comment "The Calculus of Constructions (CoC) is a 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 "Calculus of constructions".
- Calculus_of_constructions sameAs Q858320.
- 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 构造演算.
- Calculus_of_constructions wasDerivedFrom Calculus_of_constructions?oldid=707569505.
- Calculus_of_constructions isPrimaryTopicOf Calculus_of_constructions.