Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q858320> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples per page.
- Q858320 subject Q7451631.
- Q858320 subject Q8374213.
- Q858320 subject Q8581097.
- Q858320 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).".
- Q858320 wikiPageExternalLink en.
- Q858320 wikiPageExternalLink SFV-CIC-2up.pdf.
- Q858320 wikiPageExternalLink induction.pdf.
- Q858320 wikiPageExternalLink Coq.Logic.ClassicalFacts.html.
- Q858320 wikiPageWikiLink Q1056428.
- Q858320 wikiPageWikiLink Q1089708.
- Q858320 wikiPageWikiLink Q1131652.
- Q858320 wikiPageWikiLink Q1137814.
- Q858320 wikiPageWikiLink Q11387554.
- Q858320 wikiPageWikiLink Q176786.
- Q858320 wikiPageWikiLink Q1847646.
- Q858320 wikiPageWikiLink Q200787.
- Q858320 wikiPageWikiLink Q2036661.
- Q858320 wikiPageWikiLink Q242028.
- Q858320 wikiPageWikiLink Q2552799.
- Q858320 wikiPageWikiLink Q2607208.
- Q858320 wikiPageWikiLink Q3087821.
- Q858320 wikiPageWikiLink Q3149511.
- Q858320 wikiPageWikiLink Q3524190.
- Q858320 wikiPageWikiLink Q3890222.
- Q858320 wikiPageWikiLink Q4227156.
- Q858320 wikiPageWikiLink Q5891840.
- Q858320 wikiPageWikiLink Q6059147.
- Q858320 wikiPageWikiLink Q6787610.
- Q858320 wikiPageWikiLink Q7451631.
- Q858320 wikiPageWikiLink Q833585.
- Q858320 wikiPageWikiLink Q8374213.
- Q858320 wikiPageWikiLink Q8581097.
- Q858320 wikiPageWikiLink Q975734.
- Q858320 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.".
- Q858320 label "Calculus of constructions".