Matches in SemOpenAlex for { <https://semopenalex.org/work/W3043607029> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3043607029 abstract "We show how to write generic programs and proofs in Martin-Lof type theory. To this end we consider several extensions of Martin-Lof's logical framework for dependent types. Each extension has a un..." @default.
- W3043607029 created "2020-07-23" @default.
- W3043607029 creator A5032180211 @default.
- W3043607029 creator A5032737176 @default.
- W3043607029 creator A5048517754 @default.
- W3043607029 date "2003-12-01" @default.
- W3043607029 modified "2023-09-29" @default.
- W3043607029 title "Universes for generic programs and proofs in dependent type theory" @default.
- W3043607029 doi "https://doi.org/10.5555/985799.985801" @default.
- W3043607029 hasPublicationYear "2003" @default.
- W3043607029 type Work @default.
- W3043607029 sameAs 3043607029 @default.
- W3043607029 citedByCount "10" @default.
- W3043607029 countsByYear W30436070292013 @default.
- W3043607029 countsByYear W30436070292016 @default.
- W3043607029 countsByYear W30436070292021 @default.
- W3043607029 countsByYear W30436070292022 @default.
- W3043607029 crossrefType "journal-article" @default.
- W3043607029 hasAuthorship W3043607029A5032180211 @default.
- W3043607029 hasAuthorship W3043607029A5032737176 @default.
- W3043607029 hasAuthorship W3043607029A5048517754 @default.
- W3043607029 hasConcept C108710211 @default.
- W3043607029 hasConcept C118615104 @default.
- W3043607029 hasConcept C135790938 @default.
- W3043607029 hasConcept C136119220 @default.
- W3043607029 hasConcept C18903297 @default.
- W3043607029 hasConcept C199360897 @default.
- W3043607029 hasConcept C202444582 @default.
- W3043607029 hasConcept C20528804 @default.
- W3043607029 hasConcept C20693621 @default.
- W3043607029 hasConcept C2524010 @default.
- W3043607029 hasConcept C2777299769 @default.
- W3043607029 hasConcept C2778029271 @default.
- W3043607029 hasConcept C33923547 @default.
- W3043607029 hasConcept C41008148 @default.
- W3043607029 hasConcept C7051814 @default.
- W3043607029 hasConcept C86803240 @default.
- W3043607029 hasConcept C93682546 @default.
- W3043607029 hasConceptScore W3043607029C108710211 @default.
- W3043607029 hasConceptScore W3043607029C118615104 @default.
- W3043607029 hasConceptScore W3043607029C135790938 @default.
- W3043607029 hasConceptScore W3043607029C136119220 @default.
- W3043607029 hasConceptScore W3043607029C18903297 @default.
- W3043607029 hasConceptScore W3043607029C199360897 @default.
- W3043607029 hasConceptScore W3043607029C202444582 @default.
- W3043607029 hasConceptScore W3043607029C20528804 @default.
- W3043607029 hasConceptScore W3043607029C20693621 @default.
- W3043607029 hasConceptScore W3043607029C2524010 @default.
- W3043607029 hasConceptScore W3043607029C2777299769 @default.
- W3043607029 hasConceptScore W3043607029C2778029271 @default.
- W3043607029 hasConceptScore W3043607029C33923547 @default.
- W3043607029 hasConceptScore W3043607029C41008148 @default.
- W3043607029 hasConceptScore W3043607029C7051814 @default.
- W3043607029 hasConceptScore W3043607029C86803240 @default.
- W3043607029 hasConceptScore W3043607029C93682546 @default.
- W3043607029 hasLocation W30436070291 @default.
- W3043607029 hasOpenAccess W3043607029 @default.
- W3043607029 hasPrimaryLocation W30436070291 @default.
- W3043607029 hasRelatedWork W1515616071 @default.
- W3043607029 hasRelatedWork W1533562965 @default.
- W3043607029 hasRelatedWork W1538467230 @default.
- W3043607029 hasRelatedWork W1575992249 @default.
- W3043607029 hasRelatedWork W1594490732 @default.
- W3043607029 hasRelatedWork W1601239300 @default.
- W3043607029 hasRelatedWork W1639628887 @default.
- W3043607029 hasRelatedWork W1832063684 @default.
- W3043607029 hasRelatedWork W1982273589 @default.
- W3043607029 hasRelatedWork W2002529995 @default.
- W3043607029 hasRelatedWork W2011273500 @default.
- W3043607029 hasRelatedWork W2037967876 @default.
- W3043607029 hasRelatedWork W2059944616 @default.
- W3043607029 hasRelatedWork W2093321451 @default.
- W3043607029 hasRelatedWork W2149490909 @default.
- W3043607029 hasRelatedWork W2905269011 @default.
- W3043607029 hasRelatedWork W3110599976 @default.
- W3043607029 hasRelatedWork W615988702 @default.
- W3043607029 hasRelatedWork W652485094 @default.
- W3043607029 hasRelatedWork W1785864369 @default.
- W3043607029 isParatext "false" @default.
- W3043607029 isRetracted "false" @default.
- W3043607029 magId "3043607029" @default.
- W3043607029 workType "article" @default.