Matches in SemOpenAlex for { <https://semopenalex.org/work/W3019110569> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3019110569 abstract "The results from this paper are twofold. First, we give a purely syntactic presheaf model of CIC. Contrarily to similar endeavours, this variant both preserves conversion and interprets full dependent elimination." @default.
- W3019110569 created "2020-05-01" @default.
- W3019110569 creator A5067464824 @default.
- W3019110569 date "2020-07-08" @default.
- W3019110569 modified "2023-10-10" @default.
- W3019110569 title "Russian Constructivism in a Prefascist Theory" @default.
- W3019110569 cites W1481180394 @default.
- W3019110569 cites W1485672136 @default.
- W3019110569 cites W1608607427 @default.
- W3019110569 cites W162931075 @default.
- W3019110569 cites W1933071604 @default.
- W3019110569 cites W1986998737 @default.
- W3019110569 cites W2007974484 @default.
- W3019110569 cites W2023861274 @default.
- W3019110569 cites W2043566933 @default.
- W3019110569 cites W2062436529 @default.
- W3019110569 cites W2071514253 @default.
- W3019110569 cites W2079103712 @default.
- W3019110569 cites W2111069606 @default.
- W3019110569 cites W2115627721 @default.
- W3019110569 cites W2148275052 @default.
- W3019110569 cites W2152414370 @default.
- W3019110569 cites W2411119043 @default.
- W3019110569 cites W2765145981 @default.
- W3019110569 cites W2888153140 @default.
- W3019110569 cites W2963765784 @default.
- W3019110569 cites W2963955593 @default.
- W3019110569 cites W2964659165 @default.
- W3019110569 cites W2976886045 @default.
- W3019110569 cites W561202933 @default.
- W3019110569 doi "https://doi.org/10.1145/3373718.3394740" @default.
- W3019110569 hasPublicationYear "2020" @default.
- W3019110569 type Work @default.
- W3019110569 sameAs 3019110569 @default.
- W3019110569 citedByCount "0" @default.
- W3019110569 crossrefType "proceedings-article" @default.
- W3019110569 hasAuthorship W3019110569A5067464824 @default.
- W3019110569 hasBestOaLocation W30191105692 @default.
- W3019110569 hasConcept C111472728 @default.
- W3019110569 hasConcept C133281099 @default.
- W3019110569 hasConcept C136119220 @default.
- W3019110569 hasConcept C138885662 @default.
- W3019110569 hasConcept C144237770 @default.
- W3019110569 hasConcept C17744445 @default.
- W3019110569 hasConcept C199539241 @default.
- W3019110569 hasConcept C202444582 @default.
- W3019110569 hasConcept C33923547 @default.
- W3019110569 hasConcept C34355311 @default.
- W3019110569 hasConcept C41008148 @default.
- W3019110569 hasConcept C94625758 @default.
- W3019110569 hasConceptScore W3019110569C111472728 @default.
- W3019110569 hasConceptScore W3019110569C133281099 @default.
- W3019110569 hasConceptScore W3019110569C136119220 @default.
- W3019110569 hasConceptScore W3019110569C138885662 @default.
- W3019110569 hasConceptScore W3019110569C144237770 @default.
- W3019110569 hasConceptScore W3019110569C17744445 @default.
- W3019110569 hasConceptScore W3019110569C199539241 @default.
- W3019110569 hasConceptScore W3019110569C202444582 @default.
- W3019110569 hasConceptScore W3019110569C33923547 @default.
- W3019110569 hasConceptScore W3019110569C34355311 @default.
- W3019110569 hasConceptScore W3019110569C41008148 @default.
- W3019110569 hasConceptScore W3019110569C94625758 @default.
- W3019110569 hasLocation W30191105691 @default.
- W3019110569 hasLocation W30191105692 @default.
- W3019110569 hasLocation W30191105693 @default.
- W3019110569 hasOpenAccess W3019110569 @default.
- W3019110569 hasPrimaryLocation W30191105691 @default.
- W3019110569 hasRelatedWork W197360669 @default.
- W3019110569 hasRelatedWork W2112730349 @default.
- W3019110569 hasRelatedWork W2371482427 @default.
- W3019110569 hasRelatedWork W2375742253 @default.
- W3019110569 hasRelatedWork W2615176921 @default.
- W3019110569 hasRelatedWork W2748952813 @default.
- W3019110569 hasRelatedWork W2790198854 @default.
- W3019110569 hasRelatedWork W2792467978 @default.
- W3019110569 hasRelatedWork W2899084033 @default.
- W3019110569 hasRelatedWork W78774802 @default.
- W3019110569 isParatext "false" @default.
- W3019110569 isRetracted "false" @default.
- W3019110569 magId "3019110569" @default.
- W3019110569 workType "article" @default.