Matches in SemOpenAlex for { <https://semopenalex.org/work/W1778672286> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1778672286 endingPage "215" @default.
- W1778672286 startingPage "202" @default.
- W1778672286 abstract "We motivate and give semantics to theory presentation combinators as the foundational building blocks for a scalable library of theories. The key observation is that the category of contexts and fibered categories are the ideal theoretical tools for this purpose." @default.
- W1778672286 created "2016-06-24" @default.
- W1778672286 creator A5068554888 @default.
- W1778672286 creator A5074007281 @default.
- W1778672286 date "2012-01-01" @default.
- W1778672286 modified "2023-10-16" @default.
- W1778672286 title "Theory Presentation Combinators" @default.
- W1778672286 cites W1486558830 @default.
- W1778672286 cites W1496607686 @default.
- W1778672286 cites W1774729455 @default.
- W1778672286 cites W2001537085 @default.
- W1778672286 cites W2006941708 @default.
- W1778672286 cites W2020217406 @default.
- W1778672286 cites W2046489718 @default.
- W1778672286 cites W2069678617 @default.
- W1778672286 cites W2132124019 @default.
- W1778672286 cites W2164688709 @default.
- W1778672286 cites W2914153160 @default.
- W1778672286 cites W2953284898 @default.
- W1778672286 cites W4236999398 @default.
- W1778672286 doi "https://doi.org/10.1007/978-3-642-31374-5_14" @default.
- W1778672286 hasPublicationYear "2012" @default.
- W1778672286 type Work @default.
- W1778672286 sameAs 1778672286 @default.
- W1778672286 citedByCount "10" @default.
- W1778672286 countsByYear W17786722862014 @default.
- W1778672286 countsByYear W17786722862016 @default.
- W1778672286 countsByYear W17786722862017 @default.
- W1778672286 countsByYear W17786722862018 @default.
- W1778672286 countsByYear W17786722862019 @default.
- W1778672286 countsByYear W17786722862020 @default.
- W1778672286 countsByYear W17786722862021 @default.
- W1778672286 crossrefType "book-chapter" @default.
- W1778672286 hasAuthorship W1778672286A5068554888 @default.
- W1778672286 hasAuthorship W1778672286A5074007281 @default.
- W1778672286 hasBestOaLocation W17786722862 @default.
- W1778672286 hasConcept C111472728 @default.
- W1778672286 hasConcept C126838900 @default.
- W1778672286 hasConcept C136119220 @default.
- W1778672286 hasConcept C138885662 @default.
- W1778672286 hasConcept C184337299 @default.
- W1778672286 hasConcept C199360897 @default.
- W1778672286 hasConcept C202444582 @default.
- W1778672286 hasConcept C26517878 @default.
- W1778672286 hasConcept C2776639384 @default.
- W1778672286 hasConcept C2777601897 @default.
- W1778672286 hasConcept C33923547 @default.
- W1778672286 hasConcept C38652104 @default.
- W1778672286 hasConcept C41008148 @default.
- W1778672286 hasConcept C71924100 @default.
- W1778672286 hasConcept C79678938 @default.
- W1778672286 hasConceptScore W1778672286C111472728 @default.
- W1778672286 hasConceptScore W1778672286C126838900 @default.
- W1778672286 hasConceptScore W1778672286C136119220 @default.
- W1778672286 hasConceptScore W1778672286C138885662 @default.
- W1778672286 hasConceptScore W1778672286C184337299 @default.
- W1778672286 hasConceptScore W1778672286C199360897 @default.
- W1778672286 hasConceptScore W1778672286C202444582 @default.
- W1778672286 hasConceptScore W1778672286C26517878 @default.
- W1778672286 hasConceptScore W1778672286C2776639384 @default.
- W1778672286 hasConceptScore W1778672286C2777601897 @default.
- W1778672286 hasConceptScore W1778672286C33923547 @default.
- W1778672286 hasConceptScore W1778672286C38652104 @default.
- W1778672286 hasConceptScore W1778672286C41008148 @default.
- W1778672286 hasConceptScore W1778672286C71924100 @default.
- W1778672286 hasConceptScore W1778672286C79678938 @default.
- W1778672286 hasLocation W17786722861 @default.
- W1778672286 hasLocation W17786722862 @default.
- W1778672286 hasLocation W17786722863 @default.
- W1778672286 hasOpenAccess W1778672286 @default.
- W1778672286 hasPrimaryLocation W17786722861 @default.
- W1778672286 hasRelatedWork W1585037119 @default.
- W1778672286 hasRelatedWork W1587224678 @default.
- W1778672286 hasRelatedWork W1852619812 @default.
- W1778672286 hasRelatedWork W1980476455 @default.
- W1778672286 hasRelatedWork W2006067688 @default.
- W1778672286 hasRelatedWork W2135888537 @default.
- W1778672286 hasRelatedWork W2166247150 @default.
- W1778672286 hasRelatedWork W2183434207 @default.
- W1778672286 hasRelatedWork W2905313256 @default.
- W1778672286 hasRelatedWork W4243252198 @default.
- W1778672286 isParatext "false" @default.
- W1778672286 isRetracted "false" @default.
- W1778672286 magId "1778672286" @default.
- W1778672286 workType "book-chapter" @default.