Matches in SemOpenAlex for { <https://semopenalex.org/work/W2168341937> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2168341937 abstract "Records and dependent records are a powerful tool for programming, representing mathematical concepts, and program verification. In this last decade several type systems with records as primitive types were proposed. The question is arisen whether it is possible to define record type in existent type theories using standard types without introducing new primitives. It was known that independent records can be defined in type theories with dependent functions or intersection. On the other hand dependent records cannot be formed using standard types. Hickey introduced a complex notion of very dependent functions to represent dependent records. In the current paper we extend Martin-Lof's type theory with a simpler type constructor dependent intersection, i.e., the intersection of two types, where the second type may depend on elements of the first one (not to be confused with the intersection of a family of types). This new type constructor allows us to define dependent records in a very simple way. It also allows us to define the set type constructor." @default.
- W2168341937 created "2016-06-24" @default.
- W2168341937 creator A5089905338 @default.
- W2168341937 date "2003-12-22" @default.
- W2168341937 modified "2023-10-16" @default.
- W2168341937 title "Dependent intersection: a new way of defining records in type theory" @default.
- W2168341937 cites W1525829790 @default.
- W2168341937 cites W1527933453 @default.
- W2168341937 cites W2027584005 @default.
- W2168341937 cites W2048569219 @default.
- W2168341937 cites W2085670481 @default.
- W2168341937 cites W2097327552 @default.
- W2168341937 cites W2101886290 @default.
- W2168341937 cites W2145945984 @default.
- W2168341937 cites W2153779401 @default.
- W2168341937 cites W2907235690 @default.
- W2168341937 doi "https://doi.org/10.1109/lics.2003.1210048" @default.
- W2168341937 hasPublicationYear "2003" @default.
- W2168341937 type Work @default.
- W2168341937 sameAs 2168341937 @default.
- W2168341937 citedByCount "29" @default.
- W2168341937 countsByYear W21683419372012 @default.
- W2168341937 countsByYear W21683419372014 @default.
- W2168341937 countsByYear W21683419372017 @default.
- W2168341937 countsByYear W21683419372018 @default.
- W2168341937 countsByYear W21683419372019 @default.
- W2168341937 countsByYear W21683419372020 @default.
- W2168341937 countsByYear W21683419372021 @default.
- W2168341937 countsByYear W21683419372023 @default.
- W2168341937 crossrefType "proceedings-article" @default.
- W2168341937 hasAuthorship W2168341937A5089905338 @default.
- W2168341937 hasBestOaLocation W21683419372 @default.
- W2168341937 hasConcept C105702510 @default.
- W2168341937 hasConcept C127413603 @default.
- W2168341937 hasConcept C138958017 @default.
- W2168341937 hasConcept C146978453 @default.
- W2168341937 hasConcept C175971053 @default.
- W2168341937 hasConcept C177264268 @default.
- W2168341937 hasConcept C18903297 @default.
- W2168341937 hasConcept C199360897 @default.
- W2168341937 hasConcept C2777299769 @default.
- W2168341937 hasConcept C2777998763 @default.
- W2168341937 hasConcept C41008148 @default.
- W2168341937 hasConcept C64543145 @default.
- W2168341937 hasConcept C71924100 @default.
- W2168341937 hasConcept C80444323 @default.
- W2168341937 hasConcept C86803240 @default.
- W2168341937 hasConcept C93682546 @default.
- W2168341937 hasConceptScore W2168341937C105702510 @default.
- W2168341937 hasConceptScore W2168341937C127413603 @default.
- W2168341937 hasConceptScore W2168341937C138958017 @default.
- W2168341937 hasConceptScore W2168341937C146978453 @default.
- W2168341937 hasConceptScore W2168341937C175971053 @default.
- W2168341937 hasConceptScore W2168341937C177264268 @default.
- W2168341937 hasConceptScore W2168341937C18903297 @default.
- W2168341937 hasConceptScore W2168341937C199360897 @default.
- W2168341937 hasConceptScore W2168341937C2777299769 @default.
- W2168341937 hasConceptScore W2168341937C2777998763 @default.
- W2168341937 hasConceptScore W2168341937C41008148 @default.
- W2168341937 hasConceptScore W2168341937C64543145 @default.
- W2168341937 hasConceptScore W2168341937C71924100 @default.
- W2168341937 hasConceptScore W2168341937C80444323 @default.
- W2168341937 hasConceptScore W2168341937C86803240 @default.
- W2168341937 hasConceptScore W2168341937C93682546 @default.
- W2168341937 hasLocation W21683419371 @default.
- W2168341937 hasLocation W21683419372 @default.
- W2168341937 hasOpenAccess W2168341937 @default.
- W2168341937 hasPrimaryLocation W21683419371 @default.
- W2168341937 hasRelatedWork W1480879962 @default.
- W2168341937 hasRelatedWork W2033580006 @default.
- W2168341937 hasRelatedWork W2073202004 @default.
- W2168341937 hasRelatedWork W2112150205 @default.
- W2168341937 hasRelatedWork W2118227920 @default.
- W2168341937 hasRelatedWork W2139102157 @default.
- W2168341937 hasRelatedWork W2167486301 @default.
- W2168341937 hasRelatedWork W2168341937 @default.
- W2168341937 hasRelatedWork W2964853020 @default.
- W2168341937 hasRelatedWork W2979520889 @default.
- W2168341937 isParatext "false" @default.
- W2168341937 isRetracted "false" @default.
- W2168341937 magId "2168341937" @default.
- W2168341937 workType "article" @default.