FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951617468> ?p ?o ?g. }

• W2951617468 abstract "This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generalizes inductive types equipped with higher-order primitive recursion, by providing definitions of functions by pattern-matching which capture recursor definitions for arbitrary non-dependent and non-polymorphic inductive types satisfying a strictly positivity condition. CAC also generalizes the first-order framework of abstract data types by providing dependent types and higher-order rewrite rules." @default.
• W2951617468 created "2019-06-27" @default.
• W2951617468 creator A5004958754 @default.
• W2951617468 creator A5008794714 @default.
• W2951617468 creator A5014701461 @default.
• W2951617468 date "2006-10-11" @default.
• W2951617468 modified "2023-09-23" @default.
• W2951617468 title "The Calculus of Algebraic Constructions" @default.
• W2951617468 cites W1505627668 @default.
• W2951617468 cites W1513590676 @default.
• W2951617468 cites W1589386800 @default.
• W2951617468 cites W1986402635 @default.
• W2951617468 cites W1999683854 @default.
• W2951617468 cites W2031678037 @default.
• W2951617468 cites W2082162654 @default.
• W2951617468 cites W2095335078 @default.
• W2951617468 cites W2099089064 @default.
• W2951617468 cites W2103033459 @default.
• W2951617468 cites W2402296188 @default.
• W2951617468 hasPublicationYear "2006" @default.
• W2951617468 type Work @default.
• W2951617468 sameAs 2951617468 @default.
• W2951617468 citedByCount "1" @default.
• W2951617468 crossrefType "posted-content" @default.
• W2951617468 hasAuthorship W2951617468A5004958754 @default.
• W2951617468 hasAuthorship W2951617468A5008794714 @default.
• W2951617468 hasAuthorship W2951617468A5014701461 @default.
• W2951617468 hasConcept C10138342 @default.
• W2951617468 hasConcept C105795698 @default.
• W2951617468 hasConcept C11413529 @default.
• W2951617468 hasConcept C134306372 @default.
• W2951617468 hasConcept C136119220 @default.
• W2951617468 hasConcept C145420912 @default.
• W2951617468 hasConcept C162324750 @default.
• W2951617468 hasConcept C165064840 @default.
• W2951617468 hasConcept C168773036 @default.
• W2951617468 hasConcept C182306322 @default.
• W2951617468 hasConcept C18903297 @default.
• W2951617468 hasConcept C199343813 @default.
• W2951617468 hasConcept C199360897 @default.
• W2951617468 hasConcept C202444582 @default.
• W2951617468 hasConcept C2777299769 @default.
• W2951617468 hasConcept C2777686260 @default.
• W2951617468 hasConcept C2778029271 @default.
• W2951617468 hasConcept C2993131915 @default.
• W2951617468 hasConcept C33923547 @default.
• W2951617468 hasConcept C41008148 @default.
• W2951617468 hasConcept C71924100 @default.
• W2951617468 hasConcept C86803240 @default.
• W2951617468 hasConcept C88610354 @default.
• W2951617468 hasConcept C9376300 @default.
• W2951617468 hasConceptScore W2951617468C10138342 @default.
• W2951617468 hasConceptScore W2951617468C105795698 @default.
• W2951617468 hasConceptScore W2951617468C11413529 @default.
• W2951617468 hasConceptScore W2951617468C134306372 @default.
• W2951617468 hasConceptScore W2951617468C136119220 @default.
• W2951617468 hasConceptScore W2951617468C145420912 @default.
• W2951617468 hasConceptScore W2951617468C162324750 @default.
• W2951617468 hasConceptScore W2951617468C165064840 @default.
• W2951617468 hasConceptScore W2951617468C168773036 @default.
• W2951617468 hasConceptScore W2951617468C182306322 @default.
• W2951617468 hasConceptScore W2951617468C18903297 @default.
• W2951617468 hasConceptScore W2951617468C199343813 @default.
• W2951617468 hasConceptScore W2951617468C199360897 @default.
• W2951617468 hasConceptScore W2951617468C202444582 @default.
• W2951617468 hasConceptScore W2951617468C2777299769 @default.
• W2951617468 hasConceptScore W2951617468C2777686260 @default.
• W2951617468 hasConceptScore W2951617468C2778029271 @default.
• W2951617468 hasConceptScore W2951617468C2993131915 @default.
• W2951617468 hasConceptScore W2951617468C33923547 @default.
• W2951617468 hasConceptScore W2951617468C41008148 @default.
• W2951617468 hasConceptScore W2951617468C71924100 @default.
• W2951617468 hasConceptScore W2951617468C86803240 @default.
• W2951617468 hasConceptScore W2951617468C88610354 @default.
• W2951617468 hasConceptScore W2951617468C9376300 @default.
• W2951617468 hasLocation W29516174681 @default.
• W2951617468 hasOpenAccess W2951617468 @default.
• W2951617468 hasPrimaryLocation W29516174681 @default.
• W2951617468 hasRelatedWork W1481783499 @default.
• W2951617468 hasRelatedWork W1532383456 @default.
• W2951617468 hasRelatedWork W1559704064 @default.
• W2951617468 hasRelatedWork W1626042158 @default.
• W2951617468 hasRelatedWork W1692052839 @default.
• W2951617468 hasRelatedWork W1908505045 @default.
• W2951617468 hasRelatedWork W1967489207 @default.
• W2951617468 hasRelatedWork W2019313571 @default.
• W2951617468 hasRelatedWork W2040202569 @default.
• W2951617468 hasRelatedWork W2114009375 @default.
• W2951617468 hasRelatedWork W2124729849 @default.
• W2951617468 hasRelatedWork W2168854883 @default.
• W2951617468 hasRelatedWork W2253601327 @default.
• W2951617468 hasRelatedWork W2900036118 @default.
• W2951617468 hasRelatedWork W2950542597 @default.
• W2951617468 hasRelatedWork W2951265876 @default.
• W2951617468 hasRelatedWork W3121751869 @default.
• W2951617468 hasRelatedWork W3127819669 @default.
• W2951617468 hasRelatedWork W327279188 @default.
• W2951617468 hasRelatedWork W960508059 @default.
• W2951617468 isParatext "false" @default.
• W2951617468 isRetracted "false" @default.

• next