Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q18376327> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Q18376327 subject Q7153055.
- Q18376327 subject Q8347249.
- Q18376327 subject Q8840630.
- Q18376327 abstract "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.".
- Q18376327 wikiPageExternalLink ~jbell.
- Q18376327 wikiPageExternalLink catlogprime.pdf.
- Q18376327 wikiPageExternalLink awodey.
- Q18376327 wikiPageExternalLink catlog.
- Q18376327 wikiPageExternalLink bookinfo.html.
- Q18376327 wikiPageExternalLink HistofCatLog.pdf.
- Q18376327 wikiPageWikiLink Q1029256.
- Q18376327 wikiPageWikiLink Q1056428.
- Q18376327 wikiPageWikiLink Q1082992.
- Q18376327 wikiPageWikiLink Q10859910.
- Q18376327 wikiPageWikiLink Q11109023.
- Q18376327 wikiPageWikiLink Q1163898.
- Q18376327 wikiPageWikiLink Q1166618.
- Q18376327 wikiPageWikiLink Q1366730.
- Q18376327 wikiPageWikiLink Q1417809.
- Q18376327 wikiPageWikiLink Q1644136.
- Q18376327 wikiPageWikiLink Q1725874.
- Q18376327 wikiPageWikiLink Q176786.
- Q18376327 wikiPageWikiLink Q2143621.
- Q18376327 wikiPageWikiLink Q217413.
- Q18376327 wikiPageWikiLink Q242028.
- Q18376327 wikiPageWikiLink Q2518298.
- Q18376327 wikiPageWikiLink Q2552799.
- Q18376327 wikiPageWikiLink Q2878974.
- Q18376327 wikiPageWikiLink Q290932.
- Q18376327 wikiPageWikiLink Q3149511.
- Q18376327 wikiPageWikiLink Q3532.
- Q18376327 wikiPageWikiLink Q395.
- Q18376327 wikiPageWikiLink Q451614.
- Q18376327 wikiPageWikiLink Q451748.
- Q18376327 wikiPageWikiLink Q467606.
- Q18376327 wikiPageWikiLink Q49823.
- Q18376327 wikiPageWikiLink Q5083432.
- Q18376327 wikiPageWikiLink Q523607.
- Q18376327 wikiPageWikiLink Q5347283.
- Q18376327 wikiPageWikiLink Q5384236.
- Q18376327 wikiPageWikiLink Q541563.
- Q18376327 wikiPageWikiLink Q5446431.
- Q18376327 wikiPageWikiLink Q5870985.
- Q18376327 wikiPageWikiLink Q621542.
- Q18376327 wikiPageWikiLink Q6243948.
- Q18376327 wikiPageWikiLink Q6775742.
- Q18376327 wikiPageWikiLink Q7153055.
- Q18376327 wikiPageWikiLink Q719395.
- Q18376327 wikiPageWikiLink Q8347249.
- Q18376327 wikiPageWikiLink Q855192.
- Q18376327 wikiPageWikiLink Q8639124.
- Q18376327 wikiPageWikiLink Q864475.
- Q18376327 wikiPageWikiLink Q8840630.
- Q18376327 comment "Categorical logic is a branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and an interpretation by a functor. The categorical framework provides a rich conceptual background for logical and type-theoretic constructions. The subject has been recognisable in these terms since around 1970.".
- Q18376327 label "Categorical logic".