Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569447798> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1569447798 endingPage "4" @default.
- W1569447798 startingPage "4" @default.
- W1569447798 abstract "Over the last two years deep and unexpected connections have been discovered between constructive type theories and classical homotopy theory. These connections open a way to construct new foundations of mathematics alternative to the ZFC. These foundations promise to resolve several seemingly unconnected problems-provide a support for categorical and higher categorical arguments directly on the level of the language, make formalizations of usual mathematics much more concise and much better adapted to the use with existing proof assistants such as Coq and finally to provide a uniform way to approach constructive and “classical” mathematics. I will try to describe the basic construction of a model of constructive type theories which underlies these innovations and provide some demonstration on how this model is used to develop mathematics in Coq." @default.
- W1569447798 created "2016-06-24" @default.
- W1569447798 creator A5058190967 @default.
- W1569447798 date "2011-01-01" @default.
- W1569447798 modified "2023-10-17" @default.
- W1569447798 title "Univalent Foundations of Mathematics" @default.
- W1569447798 doi "https://doi.org/10.1007/978-3-642-20920-8_4" @default.
- W1569447798 hasPublicationYear "2011" @default.
- W1569447798 type Work @default.
- W1569447798 sameAs 1569447798 @default.
- W1569447798 citedByCount "24" @default.
- W1569447798 countsByYear W15694477982012 @default.
- W1569447798 countsByYear W15694477982013 @default.
- W1569447798 countsByYear W15694477982014 @default.
- W1569447798 countsByYear W15694477982015 @default.
- W1569447798 countsByYear W15694477982016 @default.
- W1569447798 countsByYear W15694477982019 @default.
- W1569447798 countsByYear W15694477982020 @default.
- W1569447798 countsByYear W15694477982021 @default.
- W1569447798 countsByYear W15694477982023 @default.
- W1569447798 crossrefType "book-chapter" @default.
- W1569447798 hasAuthorship W1569447798A5058190967 @default.
- W1569447798 hasBestOaLocation W15694477981 @default.
- W1569447798 hasConcept C118615104 @default.
- W1569447798 hasConcept C119857082 @default.
- W1569447798 hasConcept C136119220 @default.
- W1569447798 hasConcept C145420912 @default.
- W1569447798 hasConcept C183140480 @default.
- W1569447798 hasConcept C18903297 @default.
- W1569447798 hasConcept C199343813 @default.
- W1569447798 hasConcept C199360897 @default.
- W1569447798 hasConcept C202444582 @default.
- W1569447798 hasConcept C202854965 @default.
- W1569447798 hasConcept C2777299769 @default.
- W1569447798 hasConcept C2777686260 @default.
- W1569447798 hasConcept C2778701210 @default.
- W1569447798 hasConcept C2780801425 @default.
- W1569447798 hasConcept C33923547 @default.
- W1569447798 hasConcept C41008148 @default.
- W1569447798 hasConcept C5274069 @default.
- W1569447798 hasConcept C54884031 @default.
- W1569447798 hasConcept C5961521 @default.
- W1569447798 hasConcept C71924100 @default.
- W1569447798 hasConcept C86803240 @default.
- W1569447798 hasConcept C93682546 @default.
- W1569447798 hasConcept C98045186 @default.
- W1569447798 hasConceptScore W1569447798C118615104 @default.
- W1569447798 hasConceptScore W1569447798C119857082 @default.
- W1569447798 hasConceptScore W1569447798C136119220 @default.
- W1569447798 hasConceptScore W1569447798C145420912 @default.
- W1569447798 hasConceptScore W1569447798C183140480 @default.
- W1569447798 hasConceptScore W1569447798C18903297 @default.
- W1569447798 hasConceptScore W1569447798C199343813 @default.
- W1569447798 hasConceptScore W1569447798C199360897 @default.
- W1569447798 hasConceptScore W1569447798C202444582 @default.
- W1569447798 hasConceptScore W1569447798C202854965 @default.
- W1569447798 hasConceptScore W1569447798C2777299769 @default.
- W1569447798 hasConceptScore W1569447798C2777686260 @default.
- W1569447798 hasConceptScore W1569447798C2778701210 @default.
- W1569447798 hasConceptScore W1569447798C2780801425 @default.
- W1569447798 hasConceptScore W1569447798C33923547 @default.
- W1569447798 hasConceptScore W1569447798C41008148 @default.
- W1569447798 hasConceptScore W1569447798C5274069 @default.
- W1569447798 hasConceptScore W1569447798C54884031 @default.
- W1569447798 hasConceptScore W1569447798C5961521 @default.
- W1569447798 hasConceptScore W1569447798C71924100 @default.
- W1569447798 hasConceptScore W1569447798C86803240 @default.
- W1569447798 hasConceptScore W1569447798C93682546 @default.
- W1569447798 hasConceptScore W1569447798C98045186 @default.
- W1569447798 hasLocation W15694477981 @default.
- W1569447798 hasOpenAccess W1569447798 @default.
- W1569447798 hasPrimaryLocation W15694477981 @default.
- W1569447798 hasRelatedWork W1536401622 @default.
- W1569447798 hasRelatedWork W1569447798 @default.
- W1569447798 hasRelatedWork W1981666076 @default.
- W1569447798 hasRelatedWork W2619967389 @default.
- W1569447798 hasRelatedWork W2734567855 @default.
- W1569447798 hasRelatedWork W3034935804 @default.
- W1569447798 hasRelatedWork W4233061514 @default.
- W1569447798 hasRelatedWork W4299525414 @default.
- W1569447798 hasRelatedWork W4312108278 @default.
- W1569447798 hasRelatedWork W4380090991 @default.
- W1569447798 isParatext "false" @default.
- W1569447798 isRetracted "false" @default.
- W1569447798 magId "1569447798" @default.
- W1569447798 workType "book-chapter" @default.