Matches in SemOpenAlex for { <https://semopenalex.org/work/W1591658551> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1591658551 abstract "This paper is a companion of [S89, S90b] and it demonstrates that FBO is powerful enough to axiomatize CC-Iike calculi [HHP87, CH88] (where FBO is short for a Framework for Binding Operators [589, S90b], and CC stands for the Calculus of Constructions). More specifically, we introduce an extra universe kind above the original universe type in CC. But we allow neither quantification over kind nor introduction of y: kind. Another operator ⇒ is added for typing Π types in FBO, since we are only considering a single-sorted FBO. Also, every CC term is typed in FBO. For example, Πx: M.N in CC is translated as Πy.u ∶ t ⇒ v in FBO, where x, M and N correspond to y, t and u respectively under the translation." @default.
- W1591658551 created "2016-06-24" @default.
- W1591658551 creator A5076510971 @default.
- W1591658551 date "1992-01-01" @default.
- W1591658551 modified "2023-09-27" @default.
- W1591658551 title "Axiomatization of calculus of constructions" @default.
- W1591658551 cites W1595372275 @default.
- W1591658551 cites W1986402635 @default.
- W1591658551 cites W2054969282 @default.
- W1591658551 cites W2095405219 @default.
- W1591658551 cites W2211325406 @default.
- W1591658551 cites W4211265583 @default.
- W1591658551 cites W4293176479 @default.
- W1591658551 cites W76870825 @default.
- W1591658551 doi "https://doi.org/10.1007/bfb0021086" @default.
- W1591658551 hasPublicationYear "1992" @default.
- W1591658551 type Work @default.
- W1591658551 sameAs 1591658551 @default.
- W1591658551 citedByCount "0" @default.
- W1591658551 crossrefType "book-chapter" @default.
- W1591658551 hasAuthorship W1591658551A5076510971 @default.
- W1591658551 hasConcept C104317684 @default.
- W1591658551 hasConcept C118615104 @default.
- W1591658551 hasConcept C121332964 @default.
- W1591658551 hasConcept C1276947 @default.
- W1591658551 hasConcept C136119220 @default.
- W1591658551 hasConcept C158448853 @default.
- W1591658551 hasConcept C17020691 @default.
- W1591658551 hasConcept C185592680 @default.
- W1591658551 hasConcept C18903297 @default.
- W1591658551 hasConcept C199343813 @default.
- W1591658551 hasConcept C202444582 @default.
- W1591658551 hasConcept C2777299769 @default.
- W1591658551 hasConcept C2777686260 @default.
- W1591658551 hasConcept C33923547 @default.
- W1591658551 hasConcept C41008148 @default.
- W1591658551 hasConcept C55493867 @default.
- W1591658551 hasConcept C61797465 @default.
- W1591658551 hasConcept C71924100 @default.
- W1591658551 hasConcept C84999194 @default.
- W1591658551 hasConcept C86339819 @default.
- W1591658551 hasConcept C86803240 @default.
- W1591658551 hasConceptScore W1591658551C104317684 @default.
- W1591658551 hasConceptScore W1591658551C118615104 @default.
- W1591658551 hasConceptScore W1591658551C121332964 @default.
- W1591658551 hasConceptScore W1591658551C1276947 @default.
- W1591658551 hasConceptScore W1591658551C136119220 @default.
- W1591658551 hasConceptScore W1591658551C158448853 @default.
- W1591658551 hasConceptScore W1591658551C17020691 @default.
- W1591658551 hasConceptScore W1591658551C185592680 @default.
- W1591658551 hasConceptScore W1591658551C18903297 @default.
- W1591658551 hasConceptScore W1591658551C199343813 @default.
- W1591658551 hasConceptScore W1591658551C202444582 @default.
- W1591658551 hasConceptScore W1591658551C2777299769 @default.
- W1591658551 hasConceptScore W1591658551C2777686260 @default.
- W1591658551 hasConceptScore W1591658551C33923547 @default.
- W1591658551 hasConceptScore W1591658551C41008148 @default.
- W1591658551 hasConceptScore W1591658551C55493867 @default.
- W1591658551 hasConceptScore W1591658551C61797465 @default.
- W1591658551 hasConceptScore W1591658551C71924100 @default.
- W1591658551 hasConceptScore W1591658551C84999194 @default.
- W1591658551 hasConceptScore W1591658551C86339819 @default.
- W1591658551 hasConceptScore W1591658551C86803240 @default.
- W1591658551 hasLocation W15916585511 @default.
- W1591658551 hasOpenAccess W1591658551 @default.
- W1591658551 hasPrimaryLocation W15916585511 @default.
- W1591658551 hasRelatedWork W1195330553 @default.
- W1591658551 hasRelatedWork W1501452445 @default.
- W1591658551 hasRelatedWork W1558477806 @default.
- W1591658551 hasRelatedWork W169175576 @default.
- W1591658551 hasRelatedWork W1963748674 @default.
- W1591658551 hasRelatedWork W2036716130 @default.
- W1591658551 hasRelatedWork W2038932611 @default.
- W1591658551 hasRelatedWork W2049764522 @default.
- W1591658551 hasRelatedWork W2067332512 @default.
- W1591658551 hasRelatedWork W2108869587 @default.
- W1591658551 hasRelatedWork W2120300141 @default.
- W1591658551 hasRelatedWork W2134600894 @default.
- W1591658551 hasRelatedWork W2373494342 @default.
- W1591658551 hasRelatedWork W2556763370 @default.
- W1591658551 hasRelatedWork W2621167117 @default.
- W1591658551 hasRelatedWork W3104152685 @default.
- W1591658551 hasRelatedWork W314796037 @default.
- W1591658551 hasRelatedWork W940445711 @default.
- W1591658551 hasRelatedWork W99998675 @default.
- W1591658551 hasRelatedWork W2412530041 @default.
- W1591658551 isParatext "false" @default.
- W1591658551 isRetracted "false" @default.
- W1591658551 magId "1591658551" @default.
- W1591658551 workType "book-chapter" @default.